2448 search results - page 81 / 490 » The Octahedron Abstract Domain |
CADE
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Formulas are often monotonic in the sense that if the formula is satisfiable for given domains of discourse, it is also satisfiable for all larger domains. Monotonicity i...
EMISA
2002
Springer
13 years 7 months ago
2002
Springer
Abstract: There is a lack of a systematic, generic, domain independent objectoriented software engineering process for software familes. In such process a system family should be t...
EUROCAST
2001
Springer
14 years 17 days ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
ICLP
2001
Springer
14 years 15 days ago
2001
Springer
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...
FOSSACS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...