182 search results - page 8 / 37 » Static Analysis by Abstract Interpretation: A Mathematical P... |
APN
2005
Springer
14 years 28 days ago
2005
Springer
stract Interpretation Robert Claris´o, Enric Rodr´ıguez-Carbonell, and Jordi Cortadella Universitat Polit`ecnica de Catalunya, Barcelona, Spain Abstract interpretation is a para...
CJ
2010
13 years 4 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
ICFP
2002
ACM
14 years 7 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
SEFM
2009
IEEE
14 years 2 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...
SAS
1992
Springer
13 years 11 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...