3562 search results - page 98 / 713 » Introduction to Logic Programming |
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
123
click to vote
LICS
2006
IEEE
15 years 8 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...
138
Voted
CADE
1998
Springer
15 years 6 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...
154
click to vote
MSCS
2006
15 years 2 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...