3546 search results - page 50 / 710 » A Causal Logic of Logic Programming |
IFIP
1994
Springer
14 years 2 months ago
1994
Springer
ECOOP
2007
Springer
14 years 1 months ago
2007
Springer
LOGCOM
2011
13 years 25 days ago
2011
POPL
1999
ACM
14 years 2 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
CP
2005
Springer
14 years 3 months ago
2005
Springer
The eplex library of the ECLi PSe Constraint Logic Programming platform allows the integration of Mathematical Programming techniques with its native Constraint Logic Programming t...