A Sharing Analysis for SAFE

Trends in Functional Programming: Volume 7

Volumn 7, Issue , 2005, Pages 109-128

  Peña, Ricardo ^a   Segura, Clara ^a   Montenegro, Manuel ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 57549109476     PISSN: None     EISSN: None     Source Type: Book    
DOI: None     Document Type: Chapter

References (14)

1. S. Adams. Efficient sets –a balancing act. Journal of Functional Programming, 3(4):553–561, 1993.
2. A. Aiken, M. Fähndrich, and R. Levien. Better static memory management: improving region-based analysis of higher-order languages. In Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, PLDI’95, pages 174–185. ACM Press, 1995.
3. rd ACMSIGPLAN-SIGACT, pages171–183, 1996.
4. G. Gudjónsson and W. H. Winsborough. Compile-time memory reuse in logic programming languages through update in place. ACM TOPLAS, 21(3):430–501, 1999.
5. F. Henglein, H. Makholm, and H. Niss. A direct approach to control-flow sensitive region-based memory management. In Proceedings of the 3rd ACM SIGPLAN international conference on Principles and Practice of Declarative Programming, PPDP’01, pages 175–186. ACM Press, 2001.
6. M. Hofmann and S. Jost. Static prediction of heap space usage for first-order functional programs. In Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 185–197. ACM Press, 2003.
7. P. Hudak. A Semantic Model of Reference Counting and its Abstraction. In Lisp and Functional Programming Conference, pages 351–363. ACM Press, 1986.
8. R. J. M. Hughes and L. Pareto. Recursion and Dynamic Data-Structures in Bounded Space; Towards Embedded ML Programming. In Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming, ICFP’99, ACM Sigplan Notices, pages 70–81, Paris, France, September 1999. ACM Press.
9. K. Inoue, H. Seki, and H. Yagi. Analysis of Functional Programs to Detect Run-Time Garbage Cells. ACM TOPLAS, 10(4):555–578, 1988.
10. S. B. Jones and D. Le Metayer. Compile Time Garbage Collection by Sharing Analysis. In Int. Conf. on Functional Programming and Computer Architecture, pages 54–74. ACM Press, 1989.
11. R. Peña and C. Segura. A First-Order Functional Language for Reasoning about Heap Consumption. In 16th International Workshop on Implementation and Application of Functional Languages, IFL’04. Technical Report 0408, Christian-Albrechts University of Kiel, pages 64–80, 2004.
12. M. Tofte, L. Birkedal, M. Elsman, N. Hallenberg, T. H. Olesen, and P. Sestoft. Programming with regions in the MLKit (revised for version 4.3.0). Technical report, IT University of Copenhagen, Denmark, 2006.
13. M. Tofte and J.-P. Talpin. Region-based memory management. Information and Computation, 132(2):109–176, 1997.
14. P. Wadler. Linear types can change the world! In IFIP TC 2 Working Conference on Programming Concepts and Methods. North Holland, 1990.