first-order logic | Sciweavers

click to vote

CADE
2005
Springer

117views Logical Reasoning» more CADE 2005»

Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures

14 years 12 months ago

Download www.cs.wisc.edu

Greta Yorsh, Neil Immerman, Shmuel Sagiv, Siddhart...

claim paper

Read More »

click to vote

POPL
2007
ACM

116views Programming Languages» more POPL 2007»

Logic-flow analysis of higher-order programs

14 years 12 months ago

Download matt.might.net

This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...

Matthew Might

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers