Loading...
Please wait, while we are loading the content...
Similar Documents
Predicate Abstraction and Canonical Abstraction (2005)
| Content Provider | CiteSeerX |
|---|---|
| Author | Lists, For Singly-Linked Manevich, R. Yahav, E. Ramalingam, G. Sagiv, M. |
| Description | In Proc. of VMCAI’05, volume 3385 of LNCS Predicate abstraction and canonical abstraction are two finitary abstractions used to prove properties of programs. We study the relationship between these two abstractions by considering a very limited case: abstraction of (potentially cyclic) singly-linked lists. |
| File Format | |
| Language | English |
| Publisher | Springer |
| Publisher Date | 2005-01-01 |
| Access Restriction | Open |
| Subject Keyword | Limited Case Singly-linked List Finitary Abstraction Canonical Abstraction Predicate Abstraction |
| Content Type | Text |
| Resource Type | Article |