Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

3

VMCAI
2005
Springer

favoriteEmaildiscussreport

101views Software Engineering» more VMCAI 2005»

Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists

13 years 10 months ago

Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists

Download www.cs.tau.ac.il

Roman Manevich, Eran Yahav, Ganesan Ramalingam, Sh

Real-time Traffic

Software Engineering | VMCAI 2005 |

claim paper

Related Content

» A Theory of SinglyLinked Lists and its Extensible Decision Procedure

» Verifying properties of wellfounded linked lists

» Linguistic Facts as Predicates over Ranges of the Sentence

» Statically Inferring Complex Heap Array and Numeric Invariants

» Algorithmic correspondence and completeness in modal logic

» Deciding Full Branching Time Logic by Program Transformation

» Shape Analysis of SingleParent Heaps

» Combinatorial Roadmaps in Configuration Spaces of Simple Planar Polygons

Post Info
More Details (n/a)

Added	28 Jun 2010
Updated	28 Jun 2010
Type	Conference
Year	2005
Where	VMCAI
Authors	Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv

Comments (0)