L3: A linear language with locations

Lecture Notes in Computer Science

Volumn 3461, Issue , 2005, Pages 293-307

  Morrisett, Greg ^a   Ahmed, Amal ^a   Fluet, Matthew ^b  

^a HARVARD UNIVERSITY   (United States)

^b Cornell University ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SCIENCE; GRAPH THEORY; LINEAR PROGRAMMING; LOGIC PROGRAMMING; MATHEMATICAL MODELS; SEMANTICS;

CYCLIC GRAPHS; LINEAR LOGIC; MEMORY CELLS; TYPING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 24944445163     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11417170_22     Document Type: Conference Paper

References (29)

1. DeLine, R., Fähndrich, M.: Enforcing high-level protocols in low-level software. In: PLDI. (2001)
2. Fähndrich, M., DeLine, R.: Adoption and focus: Practical linear types for imperative programming. In: PLDI. (2002)
3. Morrisett, G., Walker, D., Crary, K., Glew, N.: From System F to typed assembly language. TOPLAS 21 (1999) 528-569
4. Morrisett, G., Crary, K., Glew, N., Walker, D.: Stack-based typed assembly language. JFP 12 (2002) 43-88
5. Aiken, A., Foster, J.S., Kodumal, J., Terauchi, T.: Checking and inferring local non-aliasing. In: (PLDI). (2003)
6. Smith, F., Walker, D., Morrisett, G.: Alias types. In: (ESOP). (2000)
7. Ishtiaq, S., O'Hearn, P.: BI as an assertion language for mutable data structures. In: (POPL). (2001)
8. 3: A linear language with locations. Technical Report TR-24-04, Harvard University (2004)
9. Girard, J.Y.: Linear logic. Theoretical Computer Science 50 (1987) 1-102
10. Wadler, P.: Linear types can change the world! In: Programming Concepts and Methods. (1990)
11. O'Hearn, P.W., Reynolds, J.C.: From Algol to polymorphic linear lambda-calculus. Journal of the ACM 47 (2000) 167-223
12. Plasmeijer, R., van Eekelen, M. Keep it clean: a unique approach to functional programming. ACM SIGPLAN Notices 34 (1999) 23-31
13. Baker, H.: Lively linear LISP - look ma, no garbage. ACM SIGPLAN Notices 27 (1992) 89-98
14. Benton, P.N.: Strong normalisation for the linear term calculus. JFP 5 (1995) 65-80
15. Ahmed, A., Appel, A.W., Virga, R.: An indexed model of impredicative polymorphism and mutable references. Available at http://www.cs.princeton.edu/ ~appel/papers/impred.pdf (2003)
16. Hofmann, M.: A type system for bouned space and functional in-place update. In: (ESOP). (2000)
17. Cheney, J., Morrisett, G.: A linearly typed assembly language. Technical Report 2003-1900, Cornell University (2003)
18. Aspinall, D., Compagnoni, A.: Heap bounded assembly language. Journal of Automated Reasoning 31 (2003) 261-302
19. Boyland, J., Noble, J., Retert, W.: Capabilities for aliasing: A generalization of uniqueness and read-only. In: (ECOOP). (2001)
20. Walker, D., Crary, K., Morrisett, G.: Typed memory management in a calculus of capabilities. TOPLAS 24 (2000) 701-771
21. Boyapati, C., Sǎlcianu, A., Beebee, W., Rinard, M.: Ownership types for safe region-based memory management in real-time Java. In: (PLDI). (2003)
22. Clarke, D., Wrigstad, T.: External uniqueness is unique enough. In: (ECOOP). (2003)
23. Hicks, M., Morrisett, G., Grossman, D., Jim, T.: Experience with safe manual memory-management in Cyclone. In: (ISMM). (2004)
24. Grothoff, C., Palsberg, J., Vitek, J.: Encapsulating objects with confined types. In: (OOPSLA). (2001)
25. Vitek, J., Bokowski, B.: Confined types in Java. Software - Practice and Experience 31 (2001) 507-532
26. Kuncak, V., Lam, P., Rinard, M.: Role analysis. In: (POPL). (2002)
27. Igarashi, A., Kobayashi, N.: A generic type system for the Pi-calculus. In: (POPL). (2001)
28. Takeuchi, K., Honda, K., Kubo, M.: An interaction-based language and its typing system. In: Proc. Parallel Architectures and Languages Europe. (1994)
29. Kobayashi, N., Pierce, B.C., Turner, D.N.: Linearity and the Pi-Calculus. TOPLAS 21 (1999) 914-947