CIF MSOS type system

A.P. Meer, van der

    Research output: Book/ReportReportAcademic

    63 Downloads (Pure)

    Abstract

    This document provides a formal description of the type system of a modeling language called Compositional Interchange Format (CIF).
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Number of pages48
    Publication statusPublished - 2012

    Publication series

    NameComputer science reports
    Volume1206
    ISSN (Print)0926-4515

    Fingerprint

    Dive into the research topics of 'CIF MSOS type system'. Together they form a unique fingerprint.

    Cite this