Formal Aspects of Computing

, Volume 6, Issue 6, pp 659–675

Sharing Analysis Based on Type Inference

  • Yasuhiko Minamide
Formal Aspects of Computing

DOI: 10.1007/BF03259391

Cite this article as:
Minamide, Y. Form Asp Comp (1994) 6: 659. doi:10.1007/BF03259391


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.


Sharing analysis Type inference Compile-time garbage collection 

Copyright information

© BCS 1994

Authors and Affiliations

  • Yasuhiko Minamide
    • 1
  1. 1.Research Institute for Mathematical SciencesKyoto UniversityKyotoJapan

Personalised recommendations