L3: A Linear Language with Locations
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 293-307
- https://doi.org/10.1007/11417170_22
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Checking and inferring local non-aliasingPublished by Association for Computing Machinery (ACM) ,2003
- Adoption and focusPublished by Association for Computing Machinery (ACM) ,2002
- Enforcing high-level protocols in low-level softwarePublished by Association for Computing Machinery (ACM) ,2001
- BI as an assertion language for mutable data structuresPublished by Association for Computing Machinery (ACM) ,2001
- Alias TypesPublished by Springer Nature ,2000
- From Algol to polymorphic linear lambda-calculusJournal of the ACM, 2000
- Keep it cleanACM SIGPLAN Notices, 1999
- From system F to typed assembly languageACM Transactions on Programming Languages and Systems, 1999
- Lively linear LispACM SIGPLAN Notices, 1992
- Linear logicTheoretical Computer Science, 1987