A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information
- 1 January 2003
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Alias annotations for program understandingPublished by Association for Computing Machinery (ACM) ,2002
- Ownership types for safe programmingPublished by Association for Computing Machinery (ACM) ,2002
- ArchJavaPublished by Association for Computing Machinery (ACM) ,2002
- Ownership, encapsulation and the disjointness of type and effectPublished by Association for Computing Machinery (ACM) ,2002
- A parameterized type system for race-free Java programsPublished by Association for Computing Machinery (ACM) ,2001
- Ultra-fast aliasing analysis using CLAPublished by Association for Computing Machinery (ACM) ,2001
- Unification-based pointer analysis with directional assignmentsPublished by Association for Computing Machinery (ACM) ,2000
- Ownership types for flexible alias protectionPublished by Association for Computing Machinery (ACM) ,1998
- Partial online cycle elimination in inclusion constraint graphsPublished by Association for Computing Machinery (ACM) ,1998
- Context-sensitive interprocedural points-to analysis in the presence of function pointersPublished by Association for Computing Machinery (ACM) ,1994