Loading...
Please wait, while we are loading the content...
Similar Documents
Shape analysis for composite data structures (2007)
| Content Provider | CiteSeerX |
|---|---|
| Author | Berdine, Josh Calcagno, Cristiano Cook, Byron Distefano, Dino O. ’hearn, Peter W. Wies, Thomas Yang, Hongseok |
| File Format | |
| Language | English |
| Publisher Date | 2007-01-01 |
| Access Restriction | Open |
| Subject Keyword | Composite Data Structure Acyclic Singly-linked List Cyclic Doubly-linked List Higher-order Predicate Shape Analysis Spatial Predicate Data Structure Spatial Relationship Unknown Memory Safety Bug Realistic Program Singly-linked List Complex Composite Data Structure Generic Higher-order Inductive Predicate Device Driver Data Structure Manipulation Cyclic Doublylinked List Industrial Systems-level Program Several Routine |
| Content Type | Text |
| Resource Type | Article |