Sharing Analysis Based on Type Inference
- Yasuhiko Minamide
- … show all 1 hide
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.Get Access
This paper presents a framework for sharing analysis based on type inference. The type system used in this paper is a modified version of Milner’s type system. The soundness of the analysis is defined by the semantics of types extended for sharing information and proved with respect to an operational semantics for a strict language. It is also shown that the information obtained by the analysis can be applied to compile-time garbage collection.
- Baker, H G (1990) Unify and conquer (garbage, updatind, aliasing,…) in functional languages. Proc. ACM Conf. Lisp and Functional Programming.
- Damas, L, Milner, R (1982) Principal type-schemes for functional programs. Proc. ACM Symp. on Principles of Prog. Languages.
- Inoue, K, Seki, H, Yagi, H (1988) Analysis of functional programs to detect run-time garbage cells. ACM Transaction on Programming Languages and Systems.
- Jensen, T P (1991) Strictness analysis in logical form. Proc. Functional Programming Languages and Computer Architecture.
- Jones, S B, Métayer, D (1989) Compile-time garbage collection by sharing analysis. Functional Programming Languages and Computer Architecture.
- Kuo, T-M, Mishra, P (1989) Strictness analysis: A new perspective based on type inference. Proc. Functional Programming Languages and Computer Architecture.
- Mycroft, A (1981) Abstract Interpretation and Optimizing Transformations for Applicative Programs. PhD thesis.
- Tofte, M (1988) Operational Semantics and Polymorphic Type Inference. PhD thesis.
- Tofte, M (1990) Type inference for polymorphic references. Information and Computation.
- Sharing Analysis Based on Type Inference
Formal Aspects of Computing
Volume 6, Issue 6 , pp 659-675
- Cover Date
- Print ISSN
- Online ISSN
- Springer London
- Additional Links
- Sharing analysis
- Type inference
- Compile-time garbage collection
- Industry Sectors
- Author Affiliations
- 1. Research Institute for Mathematical Sciences, Kyoto University, Kyoto, 606, Japan