Sciweavers

2861 search results - page 7 / 573

» Constraint Programming

118

PLDI
2000
ACM

81views Programming Languages» more PLDI 2000»

Scalable context-sensitive flow analysis using instantiation constraints

15 years 10 months ago

Scalable context-sensitive flow analysis using instantiation constraints

Download www.cs.ucla.edu

Manuel Fähndrich, Jakob Rehof, Manuvir Das

claim paper

Read More »

138

POPL
2000
ACM

99views Programming Languages» more POPL 2000»

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs

15 years 10 months ago

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs

Download www.cs.ucla.edu

Zhendong Su, Manuel Fähndrich, Alexander Aike...

claim paper

Read More »

114

PPCP
1994

118views Programming Languages» more PPCP 1994»

QUAD-CLP(R): Adding the Power of Quadratic Constraints

15 years 10 months ago

QUAD-CLP(R): Adding the Power of Quadratic Constraints

Download www.crt.umontreal.ca

Gilles Pesant, Michel Boyer

claim paper

Read More »

140

OOGRAPHICS
1995

96views Programming Languages» more OOGRAPHICS 1995»

Supporting Interactive Animation Using Multi-way Constraints

15 years 10 months ago

Supporting Interactive Animation Using Multi-way Constraints

Download www.crs4.it

Jean-Francis Balaguer, Enrico Gobbetti

claim paper

Read More »

190

WFLP
2000
Springer

163views Algorithms» more WFLP 2000»

Cooperative Constraint Functional Logic Programming

15 years 10 months ago

Cooperative Constraint Functional Logic Programming

Download www2.score.cs.tsukuba.ac.jp

We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...

Mircea Marin, Tetsuo Ida

claim paper

Read More »

« Prev « First page 7 / 573 Last » Next »