A Region Inference Algorithm

ACM Transactions on Programming Languages and Systems

Volumn 20, Issue 4, 1998, Pages 724-767

  Tofte, Mads ^a   Birkedal, Lars ^b  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

^b Carnegie Mellon University   (United States)

Author keywords

Algorithms; D.3.3 Programming Languages : Language Constructs and Features Dynamic storage management; F.3.3 Logics and Meanings of Programs : Studies of Program Constructs Functional constructs; Regions; Reliability; Theory; Type structure

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DATA STORAGE EQUIPMENT; PROGRAM COMPILERS; RECURSIVE FUNCTIONS; RESPONSE TIME (COMPUTER SYSTEMS); DATA STRUCTURES; INFERENCE ENGINES; RELIABILITY THEORY; STORAGE ALLOCATION (COMPUTER); SYNTACTICS;

POLYMORPHIC RECURSION; PROGRAM ANALYSIS; REGION INFERENCE ALGORITHM;

PROGRAM DIAGNOSTICS; COMPUTER PROGRAMMING LANGUAGES;

ASSEMBLY LANGUAGES; POLYMORPHIC SYSTEMS;

EID: 0032108162     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/291891.291894     Document Type: Article

References (30)

1. AIKEN, A., FÄHNDRICH, M., AND LEVIEN, R. 1995. Better static memory management: Improving region-based analysis of higher-order languages. In Proc. of the ACM SIGPLAN '95 Conference on Programming Languages and Implementation (PLDI). ACM Press, La Jolla, CA, 174-185.
2. APONTE, M. V. 1993. Extending record typing to type parametric modules with sharing. In Proc. of the 20th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). ACM Press, 465-478.
3. BIRKEDAL, L., TOFTE, M., AND VEJLSTRUP, M. 1996. From region inference to von Neumann machines via region representation inference. In Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, 171-183.
4. DAMAS, L. AND MILNER, R. 1982. Principal type schemes for functional programs. In Proc. 9th Annual ACM Symp. on Principles of Programming Languages. 207-212.
5. DIJKSTRA, E. W. 1960. Recursive programming. Numerische Math 2, 312-318. Also in Rosen: "Programming Systems and Languages", McGraw-Hill, 1967.
6. DIJKSTRA, E. W. 1960. Recursive programming. Numerische Math 2, 312-318. Also in Rosen: "Programming Systems and Languages", McGraw-Hill, 1967.
7. HALLENBERG, N. 1997. ML Kit test report. (Automatically generated test report; available at http://www.diku.dk/research-groups/topps/activities/kit2/test.ps).
8. HARPER, R., MILNER, R., AND TOFTE, M. 1987. A type discipline for program modules. In Proc. Int'l Joint Conf. on Theory and Practice of Software Development (TAPSOFT). Springer-Verlag, 308-319. Lecture Notes in Computer Science, Vol. 250.
9. HENGLEIN, F. 1993. Type inference with polymorphic recursion. ACM Transactions on Programming Languages and Systems 15, 2 (April), 253.
10. JOUVELOT, P. AND GIFFORD, D. 1991. Algebraic reconstruction of types and effects. In Proceedings of the 18th ACM Symposium on Principles of Programming Languages (POPL).
11. KFOURY, A., TIURYN, J., AND URZYCZYN, P. 1990. The undecidability of the semi-unification problem. In Proc. 22nd Annual ACM Symp. on Theory of Computation (STOC), Baltimore, Maryland. 468-476.
12. LEROY, X. 1992. Typage polymophe d'un language algorithmique. Ph.D. thesis, University Paris VII. English version: Polymorphic Typing of an Algorithmic Language, INRIA Research Report no. 1778, October 1992.
13. LUCASSEN, J. AND GIFFORD, D. 1988. Polymorphic effect systems. In Proceedings of the 1988 ACM Conference on Principles of Programming Languages.
14. MILNER, R. 1978. A theory of type polymorphism in programming. J. Computer and System Sciences 17, 348-375.
15. MILNER, R., TOFTE, M., HARPER, R., AND MACQUEEN, D. 1997. The Definition of Standard ML (Revised). MIT Press.
16. MYCROFT, A. 1984. Polymorphic type schemes and recursive definitions. In Proc. 6th Int. Conf. on Programming, LNCS 167.
17. NAUR, P. 1963. Revised report on the algorithmic language Algol 60. Comm. ACM 1, 1-17.
18. NIELSON, F., NIELSON, H. R., AND AMTOFT, T. 1996. Polymorphic subtyping for effect analysis: the algorithm. Tech. Rep. LOMAPS-DAIMI-16, Department of Computer Science, University of Aarhus (DAIMI). April.
19. NIELSON, H. R. AND NIELSON, F. 1994. Higher-order concurrent programs with finite communication topology. In Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, 84-97.
20. RÉMY, D. 1989. Typechecking records and variants in a natural extension of ML. In Proc. 16th Annual ACM Symp. on Principles of Programming Languages. ACM, 77-88.
21. TALPIN, J.-P. 1993. Theoretical and practical aspects of type and effect inference. Doctoral Dissertation. Also available as Research Report EMP/CRI/A-236, Ecole des Mines de Paris.
22. TALPIN, J.-P. AND JOUVELOT, P. 1992a. Polymorphic type, region and effect inference. Journal of Functional Programming 2, 3.
23. TALPIN, J.-P. AND JOUVELOT, P. 1992b. The type and effect discipline. In Proceedings of the seventh IEEE Conference on Logic in Computer Science. 162-173. Also, (extended version) technical report EMP/CRI/A-206, Ecole des Mines de Paris, April 1992.
24. TOFTE, M. 1988. Operational semantics and polymorphic type inference. Ph.D. thesis, Edinburgh University, Department of Computer Science, Edinburgh University, Mayfield Rd., EH9 3JZ Edinburgh. Available as Technical Report CST-52-88.
25. TOFTE, M. AND BIRKEDAL, L. 1996. Unification and polymorphism in region inference. Submitted to the Milner Festschrift. http://www.diku.dk/users/tofte/publ/milner.ps.
26. TOFTE, M., BIRKEDAL, L., ELSMAN, M., , HALLENBERG, N., OLESEN, T. H., SESTOFT, P., AND BERTELSEN, P. 1997. Programming with regions in the ML Kit. Tech. Rep. DIKU-TR-97/12, Dept. of Computer Science, University of Copenhagen. (http://www.diku.dk/research-groups/ topps/activities/kit2).
27. TOFTE, M. AND TALPIN, J.-P. 1992. Data region inference for polymorphic functional languages (technical summary). Tech. Rep. EMP/CRI/A-229, Ecole des Mines de Paris.
28. TOFTE, M. AND TALPIN, J.-P. 1994. Implementing the call-by-value lambda-calculus using a stack of regions. In Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, 188-201.
29. TOFTE, M. AND TALPIN, J.-P. 1997. Region-based memory management. Information and Computation 132, 2, 109-176.
30. WILSON, P. R. 1992. Uniprocessor garbage collection techniques. In Memory Management, Proceedings, International Workshop IWMM92, Y. Bekkers and J. Cohen, Eds. Springer-Verlag, Berlin, 1-42.