Linear regions are all you need

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3924 LNCS, Issue , 2006, Pages 7-21

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

^a Department of Obstetrics Gynecology   (United States)

^b HARVARD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BLOCK STRUCTURES; CYCLONE PROGRAMMING LANGUAGE; GARBAGE COLLECTOR; LAST-IN-FIRST-OUT (LIFO) LIFETIMES; GARBAGE COLLECTORS; LAST IN FIRST OUTS; REGION CALCULUS; SUBSTRUCTURAL TYPE SYSTEMS; TARGET LANGUAGE; TYPE-AND-EFFECTS SYSTEMS; UNIQUE POINTERS;

COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; DIFFERENTIATION (CALCULUS); ENCODING (SYMBOLS); INFORMATION RETRIEVAL SYSTEMS; CALCULATIONS; STORMS;

LINEAR SYSTEMS; COMPUTATIONAL LINGUISTICS;

EID: 33646150169     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11693024_2     Document Type: Conference Paper

References (26)

1. Cyclone, version 0.9. (2005) http://www.eecs.harvard.edu/~greg/cyclone/.
2. Tofte, M., Talpin, J.P.: Region-based memory management. Information and Computation 132(2) (1997) 109-176
3. Hicks, M., Morrisett, G., Grossman, D., Jim, T.: Experience with safe manual memory-management in Cyclone. In: Proc. International Symposium on Memory Management. (2004) 73-84
4. Fluet, M., Wang, D.: Implementation and performance evaluation of a safe runtime system in Cyclone. In: Proc. SPACE Workshop. (2004)
5. Grossman, D., Morrisett, G., Jim, T., Hicks, M., Wang, Y., Cheney, J.: Region-based memory management in Cyclone. In: Proc. Programming Language Design and Implementation. (2002) 282-293
6. Fluet, M., Morrisett, G.: Monadic regions. In: Proc. International Conference on Functional Programming. (2004) 103-114
7. Launchbury, J., Peyton Jones, S.: State in Haskell. Lisp and Symbolic Computation 8(4) (1995) 293-341
8. Ahmed, A., Fluet, M., Morrisett, G.: A step-indexed model of substructural state. In: Proc. International Conference on Functional Programming. (2005) 78-91
9. Walker, D.: Substructural type systems. In Pierce, B., ed.: Advanced Topics in Types and Programming Languages. MIT Press, Cambridge, MA (2005) 3-43
10. Pfenning, F., Schürmann, C.: Twelf - a meta-logic framework for deductive systems. In: Proc. Conference on Automated Deduction. (1999) 202-206
11. Schürmann, C., Pfenning, F.: A coverage checking algorithm for LF. In: Proc. Theorem Proving in Higher Order Logics. (2003) 120-135 LNCS 2758.
12. Chen, G., Xi, H.: Combining programming with theorem proving. In: Proc. International Conference on Functional Programming. (2005) 66-77
13. Sheard, T., Pasalic, E.: Meta-programming with built-in type equality (extended abstract). In: International Workshop on Logical Frameworks and Meta-Languages. (2004)
14. Mandelbaum, Y., Walker, D., Harper, R.: An effective theory of type refinements. In: Proc. International Conference on Functional Programming. (2003) 213-225
15. Tofte, M., Birkedal, L., Elsman, M., Hallenberg, N., Diesen, T.H., Sestoft, P.: Programming with regions in the ML Kit (for version 4). Technical report, IT University of Copenhagen (2002)
16. Aiken, A., Fähndrich, M., Levien, R.: Better static memory management: Improving region-based analysis of higher-order languages. In: Proc. Programming Language Design and Implementation. (1995) 174-185
17. Henglein, F., Makholm, H., Niss, H.: A direct approach to control-flow sensitive region-based memory management. In: Proc. Principles and Practice of Declarative Programming. (2001) 175-186
18. Walker, D., Crary, K., Morrisett, G.: Typed memory management in a calculus of capabilities. ACM Transactions on Programming Languages and Systems 24(4) (2000) 701-771
19. Walker, D., Watkins, K.: On regions and linear types. In: Proc. International Conference on Functional Programming. (2001) 181-192
20. Wang, D., Appel, A.: Type-preserving garbage collectors. In: Proc. Principles of Programming Languages. (2001) 166-178
21. Monnier, S., Saha, B., Shao, Z.: Principled scavenging. In: Proc. Programming Language Design and Implementation. (2001) 81-91
22. Hawblitzel, C., Wei, E., Huang, H., Krupski, E., Wittie, L.: Low-level linear memory management. In: Proc. SPACE Workshop. (2004)
23. DeLine, R., Fähndrich, M.: Enforcing high-level protocols in low-level software. In: Proc. Programming Language Design and Implementation. (2001) 59-69
24. Fähndrich, M., DeLine, R.: Adoption and focus: Practical linear types for imperative programming. In: Proc. Programming Language Design and Implementation. (2002) 13-24
25. 3: A linear language with locations. In: Proc. Typed Lambda Calculi and Applications. (2005) 293-307
26. 3: A linear language with locations. Technical Report TR-24-04, Harvard University (2004)