Alias Types for Recursive Data Structures
- 13 June 2001
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 177-206
- https://doi.org/10.1007/3-540-45332-6_7
Abstract
No abstract availableKeywords
This publication has 39 references indexed in Scilit:
- BI as an assertion language for mutable data structuresACM SIGPLAN Notices, 2001
- Recycling continuationsACM SIGPLAN Notices, 1998
- The design and implementation of a certifying compilerACM SIGPLAN Notices, 1998
- Stack-based Typed Assembly LanguageLecture Notes in Computer Science, 1998
- Reference counting as a computational interpretation of linear logicJournal of Functional Programming, 1996
- Better static memory managementACM SIGPLAN Notices, 1995
- A simplified account of polymorphic referencesInformation Processing Letters, 1994
- Interprocedural may-alias analysis for pointersACM SIGPLAN Notices, 1994
- The linear abstract machineTheoretical Computer Science, 1988
- Detecting conflicts between structure accessesACM SIGPLAN Notices, 1988