283 search results - page 1 / 57 » Extracting Program Logics From Abstract Interpretations Defi... |
ENTCS
2007
13 years 11 months ago
2007
CADE
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
FOSSACS
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
ENTCS
2002
13 years 10 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
DLOG
2009
13 years 8 months ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...