Sciweavers

6554 search results - page 322 / 1311
» Constraint Logic Programming
Sort
View
AMAI
1999
Springer
15 years 6 months ago
Nested Expressions in Logic Programs
Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner
CSUR
1998
73views more  CSUR 1998»
15 years 6 months ago
A Unifying View of Functional and Logic Program Specialization
María Alpuente, Moreno Falaschi, Germ&aacut...
APAL
1999
55views more  APAL 1999»
15 years 6 months ago
Logic Programs, Well-Orderings, and Forward Chaining
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
TOPLAS
1998
41views more  TOPLAS 1998»
15 years 6 months ago
Partial Evaluation of Functional Logic Programs
María Alpuente, Moreno Falaschi, Germ&aacut...
TOPLAS
1998
113views more  TOPLAS 1998»
15 years 6 months ago
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs
Konstantinos F. Sagonas, Terrance Swift