Sciweavers

100
Voted
PPCP
1993
15 years 1 months ago
Higher-Order Logic Programming as Constraint Logic Programming
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
Spiro Michaylov, Frank Pfenning
63
Voted
PPCP
1993
15 years 1 months ago
Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract)
Seif Haridi, Sverker Janson, Johan Montelius, Tork...
PPCP
1993
15 years 1 months ago
Practical Issues in Graphical Constraints
Use of constraint-based techniques in interactive graphics applications poses a variety of unique challenges to system implementors. This paper begins by describing how interface ...
Michael Gleicher