4257 search results - page 126 / 852 » The Logical Modularity of Programs |
136
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...
172
click to vote
LPNMR
1993
Springer
15 years 9 months ago
1993
Springer
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
162
Voted
NMR
2004
Springer
15 years 10 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
183
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
124
click to vote
INAP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This article merges two approaches: one dealing with persistence for logic programs, as provided by a relational database back-end and another which addresses the issues ...