1914 search results - page 8 / 383 » Verification by Abstract Interpretation |
POPL
2010
ACM
14 years 10 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
ENTCS
2008
14 years 10 months ago
2008
istic Abstract Interpretation Alessandra Di Pierro1 Pascal Sotin2 Herbert Wiklicky3 Within the context of a quantitative generalisation of the well established framework of Abstra...
104
click to vote
AGP
1994
IEEE
15 years 2 months ago
1994
IEEE
act Interpretation Framework for (almost) Full Prolog1 B. Le Charlier S. Rossi P. Van Hentenryck University of Namur University of Padova Brown University 21 rue Grandgagnage 7 via...
128
click to vote
PEPM
1995
ACM
15 years 1 months ago
1995
ACM
Interpretation and Low-Level Code Optimization Saumya Debray Department of Computer Science University of Arizona Tucson, AZ 85715 Abstract interpretation is widely accepted as a ...
ENTCS
2010
14 years 7 months ago
2010
nalysis by abstract interpretation: a Mathematical Programming approach1 Eric Goubaulta,2 St