858 search results - page 55 / 172 » Abstract Interpretation Based Verification of Logic Programs |
ICML
1989
IEEE
15 years 3 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
190
click to vote
POPL
2005
ACM
16 years 4 days ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
ERSHOV
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. The Java Supercompiler (JScp) is a specializer of Java programs based on the Turchin's supercompilation method and extended to support imperative and object-oriented...
114
click to vote
SIGSOFT
2008
ACM
16 years 17 days ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
118
click to vote
APLAS
2010
ACM
15 years 1 days ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...