Type and Behaviour Reconstruction for Higher-Order Concurrent Programs
DOI:
https://doi.org/10.7146/dpb.v24i497.7025Abstract
In this paper we develop a sound and complete type and behaviour inference algorithm for a fragment of CML (Standard ML with primitives for concurrency). Behaviours resemble terms of a process algebra and yield a concise representation of the communications taking place during execution; types are mostly as usual except that function types and ``delayed communication types'' are labelled by behaviours expressing the communications that will take place if the function is applied or the delayed action is activated. The development of the present paper improves a previously published algorithm in achieving completeness as well as soundness; this is due to an alternative strategy for generalising over types and behaviours.Downloads
Published
1995-11-01
How to Cite
Amtoft, T., Nielson, F., & Nielson, H. R. (1995). Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. DAIMI Report Series, 24(497). https://doi.org/10.7146/dpb.v24i497.7025
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.