1445 search results - page 92 / 289 » Abstract Interpretation of Logic Programs |
121
click to vote
ECAI
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Default logic is one of the most widely used formalisms to formalize commonsense reasoning. In this paper we analyze the complexity of deciding whether a propositional in...
115
click to vote
FOSSACS
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. A strong (L) logic programming language ([14, 15]) is given by two subclasses of formulas (programs and goals) of the underlying logic L, provided that: firstly, any pro...
133
click to vote
VSTTE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
122
click to vote
DAGSTUHL
2006
15 years 4 months ago
2006
In the first part, we introduce binary representations of both lambda calculus and combinatory logic terms, and demonstrate their simplicity by providing very compact parser-inter...
126
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...