Type and Behaviour Reconstruction for Higher-Order Concurrent Programs

T. Amtoft, Flemming Nielson, Hanne Riis Nielson

    Research output: Contribution to journalJournal articleResearchpeer-review

    Abstract

    The authors 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 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
    Original languageEnglish
    JournalJournal of Functional Programming
    Volume7
    Issue number3
    Pages (from-to)321-347
    ISSN0956-7968
    DOIs
    Publication statusPublished - 1997

    Fingerprint

    Dive into the research topics of 'Type and Behaviour Reconstruction for Higher-Order Concurrent Programs'. Together they form a unique fingerprint.

    Cite this