Search Sciweavers | Sciweavers

2861 search results - page 7 / 573

» Constraint Programming

click to vote

PLDI
2000
ACM

81views Programming Languages» more PLDI 2000»

Scalable context-sensitive flow analysis using instantiation constraints

15 years 1 months ago

Download www.cs.ucla.edu

Manuel Fähndrich, Jakob Rehof, Manuvir Das

claim paper

Read More »

click to vote

POPL
2000
ACM

99views Programming Languages» more POPL 2000»

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs

15 years 1 months ago

Download www.cs.ucla.edu

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

claim paper

Read More »

click to vote

PPCP
1994

118views Programming Languages» more PPCP 1994»

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

15 years 1 months ago

Download www.crt.umontreal.ca

Gilles Pesant, Michel Boyer

claim paper

Read More »

click to vote

OOGRAPHICS
1995

96views Programming Languages» more OOGRAPHICS 1995»

Supporting Interactive Animation Using Multi-way Constraints

15 years 1 months ago

Download www.crs4.it

Jean-Francis Balaguer, Enrico Gobbetti

claim paper

Read More »

click to vote

WFLP
2000
Springer

163views Algorithms» more WFLP 2000»

Cooperative Constraint Functional Logic Programming

15 years 1 months ago

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 »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers