Search Sciweavers | Sciweavers

1143 search results - page 11 / 229

» Abstract Syntax and Logic Programming

146

click to vote

ENTCS
2002

91views more ENTCS 2002»

Memoization-Based Proof Search in LF - an Experimental Evaluation of a Prototype

15 years 2 months ago

Download www.cs.cmu.edu

Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...

Brigitte Pientka

claim paper

Read More »

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

15 years 8 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

197

click to vote

POPL
2008
ACM

154views Programming Languages» more POPL 2008»

Separation logic, abstraction and inheritance

16 years 2 months ago

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

197

click to vote

POPL
2005
ACM

135views Programming Languages» more POPL 2005»

Separation logic and abstraction

16 years 2 months ago

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

Voted

SCAM
2006
IEEE

133views Software Engineering» more SCAM 2006»

Abstract Interpretation of PIC Programs through Logic Programming

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers