CIF MSOS type system

Research output: Book/Report › Report › Academic

132 Downloads (Pure)

Abstract

This document provides a formal description of the type system of a modeling language called Compositional Interchange Format (CIF).

Original language	English
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Number of pages	48
Publication status	Published - 2012

@book{0ed32df28c2442fdaa524c0b9fb7965d,

title = "CIF MSOS type system",

abstract = "This document provides a formal description of the type system of a modeling language called Compositional Interchange Format (CIF).",

author = "\{Meer, van der\}, A.P.",

year = "2012",

language = "English",

series = "Computer science reports",

publisher = "Technische Universiteit Eindhoven",

}

TY - BOOK

T1 - CIF MSOS type system

AU - Meer, van der, A.P.

PY - 2012

Y1 - 2012

N2 - This document provides a formal description of the type system of a modeling language called Compositional Interchange Format (CIF).

AB - This document provides a formal description of the type system of a modeling language called Compositional Interchange Format (CIF).

M3 - Report

T3 - Computer science reports

BT - CIF MSOS type system

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -