1422 search results - page 52 / 285 » Complementation in Abstract Interpretation |
153
Voted
SAS
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. Shivers’s escape technique enables one to analyse the control flow of higher-order program fragments. It is widely used, but its soundness has never been proven. In th...
112
click to vote
CCA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped λ-ca...
124
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
159
click to vote
NPAR
2010
ACM
15 years 7 months ago
2010
ACM
We present an interactive abstract painting system named Sisley. Sisley works upon the psychological principle [Berlyne 1971] that abstract arts are often characterized by their gr...
210
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...