3481 search results - page 142 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
ICLP
2007
Springer
15 years 4 months ago
2007
Springer
ICLP
2005
Springer
15 years 3 months ago
2005
Springer
ICLP
2005
Springer
15 years 3 months ago
2005
Springer
LICS
2006
IEEE
15 years 4 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...
CADE
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...