Interprocedural Shape Analysis for Cutpoint-Free Programs
Authors:
- 1 January 2005
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 284-302
Abstract
No abstract availableKeywords
This publication has 32 references indexed in Scilit:
- Static Analysis of Accessed Regions in Recursive Data StructuresLecture Notes in Computer Science, 2003
- Ownership types for object encapsulation2003
- ESP2002
- Encapsulating objects with confined types2001
- Simple Ownership Types for Object Containment2001
- Bebop2001
- Checking Cleanness in Linked Lists2000
- Ownership types for flexible alias protection1998
- Interprocedural may-alias analysis for pointers1994
- Analysis of pointers and structures1990