Sciweavers

1445 search results - page 2 / 289

» Abstract Interpretation of Logic Programs

43

POPL
2008
ACM

102views Programming Languages» more POPL 2008»

Lifting abstract interpreters to quantified logical domains

14 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 »

22

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

13 years 10 months ago

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

18

SLP
1994

88views more SLP 1994»

Abstract Interpretation and Partial Evaluation in Functional and Logic Programming

13 years 7 months ago

Abstract Interpretation and Partial Evaluation in Functional and Logic Programming

Download repository.readscheme.org

Neil D. Jones

claim paper

Read More »

14

ENTCS
2000

82views more ENTCS 2000»

Abstract Interpretation Based Verification of Logic Programs

13 years 5 months ago

Abstract Interpretation Based Verification of Logic Programs

Download www.di.unipi.it

Giorgio Levi

claim paper

Read More »

13

ICLP
1998
Springer

100views Automated Reasoning» more ICLP 1998»

Program Specialisation and Abstract Interpretation Reconciled

13 years 9 months ago

Program Specialisation and Abstract Interpretation Reconciled

Download www.stups.uni-duesseldorf.de

Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...

Michael Leuschel

claim paper

Read More »

« Prev « First page 2 / 289 Last » Next »