CIF MSOS type system

A.P. Meer, van der

Onderzoeksoutput: Boek/rapport › Rapport › Academic

99 Downloads (Pure)

Samenvatting

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

Originele taal-2	Engels
Plaats van productie	Eindhoven
Uitgeverij	Technische Universiteit Eindhoven
Aantal pagina's	48
Status	Gepubliceerd - 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 -