754 search results - page 34 / 151 » An Ordered Logic Program Solver |
114
Voted
FOSSACS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
103
Voted
JAR
2002
15 years 7 days ago
2002
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
98
Voted
ICALT
2003
IEEE
15 years 5 months ago
2003
IEEE
The knowledge society brings its own challenges and demands upon its citizens. Key amongst these is the need to empower people to become lifelong learners, to reflect upon their o...
134
click to vote
CSL
2006
Springer
15 years 4 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
115
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...