745 search results - page 5 / 149 » The Functional Side of Logic Programming |
LOGCOM
2011
12 years 10 months ago
2011
ESOP
2010
Springer
14 years 4 months ago
2010
Springer
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
Hoare logic is bedevilled by complex but coarse side conditions on the use of variables. We define a logic, free of side conditions, which permits more precise statements of a pr...
ELP
1989
13 years 11 months ago
1989
APLAS
2003
ACM
14 years 19 days ago
2003
ACM
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...