Sciweavers

213 search results - page 1 / 43

» Abstract Interpretation of PIC Programs through Logic Progra...

120

Voted

SCAM
2006
IEEE

133views Software Engineering» more SCAM 2006»

Abstract Interpretation of PIC Programs through Logic Programming

15 years 11 months ago

Abstract Interpretation of PIC Programs through Logic Programming

Download www.dcs.kcl.ac.uk

Kim S. Henriksen, John P. Gallagher

claim paper

Read More »

156

ICLP
1991
Springer

173views Automated Reasoning» more ICLP 1991»

Abstract Interpretation of Logic Programs

15 years 8 months ago

Abstract Interpretation of Logic Programs

Download www.clip.dia.fi.upm.es

Interpretation of Logic Programs 1

Patrick Cousot

claim paper

Read More »

162

CADE
2007
Springer

189views Logical Reasoning» more CADE 2007»

Logical Interpretation: Static Program Analysis Using Theorem Proving

16 years 5 months ago

Logical Interpretation: Static Program Analysis Using Theorem Proving

Download www.csl.sri.com

Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...

Ashish Tiwari, Sumit Gulwani

claim paper

Read More »

126

ENTCS
2007

90views more ENTCS 2007»

Extracting Program Logics From Abstract Interpretations Defined by Logical Relations

15 years 5 months ago

Extracting Program Logics From Abstract Interpretations Defined by Logical Relations

Download santos.cis.ksu.edu

David A. Schmidt

claim paper

Read More »

213

POPL
2008
ACM

102views Programming Languages» more POPL 2008»

Lifting abstract interpreters to quantified logical domains

16 years 5 months ago

Lifting abstract interpreters to quantified logical domains

Download research.microsoft.com

Sumit Gulwani, Bill McCloskey, Ashish Tiwari

claim paper

Read More »

« Prev « First page 1 / 43 Last » Next »