Home About Upload Latest Additions Statistics Contact
UT Proceedings
UT Student Theses
Dutch Academic Output Dutch Dissertations EU Publications (OpenAIRE)
Printversion
Advanced search

Subtyping has a Simple Semantics

Share/Save/Bookmark

Balsters, Herman and Fokkinga, Maarten M. (1991) Subtyping has a Simple Semantics. Theoretical Computer Science, 87 (1). pp. 81-96. ISSN 0304-3975

[img]
Preview
PDF
217Kb
Abstract:Consider a first order typed language, with semantics $S$ for expressions and types. Adding subtyping means that a partial order $<$; on types is defined and that the typing rules are extended to the effect that expression $e$ has type $t$ whenever $e$ has type $s$ and $s<t$ We show how to adapt the semantics $S$ in a simple set theoretic way, obtaining a semantics $S'$ that satisfies, in addition to some obvious requirements, also the property that: $S'~s$ is included in $S'~t$, whenever $s < t$.
Item Type:Article
Copyright:© 1991 Elsevier Science
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/66228
Official URL:http://dx.doi.org/10.1016/S0304-3975(06)80005-8
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 118722