745 search results - page 5 / 149 » The Functional Side of Logic Programming |
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
98
Voted
LICS
2006
IEEE
15 years 5 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
15 years 3 months ago
1989
107
Voted
APLAS
2003
ACM
15 years 4 months 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...