Alias Types
- 12 May 2000
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 366-381
- https://doi.org/10.1007/3-540-46425-5_24
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- A formal framework for the Java bytecode language and verifierPublished by Association for Computing Machinery (ACM) ,1999
- Typed memory management in a calculus of capabilitiesPublished by Association for Computing Machinery (ACM) ,1999
- Quasi-linear typesPublished by Association for Computing Machinery (ACM) ,1999
- Stack-based Typed Assembly LanguageLecture Notes in Computer Science, 1998
- Proof-carrying codePublished by Association for Computing Machinery (ACM) ,1997
- Static detection of dynamic memory errorsPublished by Association for Computing Machinery (ACM) ,1996
- Interprocedural may-alias analysis for pointersPublished by Association for Computing Machinery (ACM) ,1994
- Conventional and uniqueness typing in graph rewrite systemsLecture Notes in Computer Science, 1993
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975
- Definitional interpreters for higher-order programming languagesPublished by Association for Computing Machinery (ACM) ,1972