Imperial College London
Professor Nobuko Yoshida

ProfessorNobukoYoshida

Faculty of Engineering, Department of Computing

Academic Visitor
 
 
 
//

Contact

 

+44 (0)20 7594 8240n.yoshida Website

 
 
//

Location

 

556Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inbook{Dezani-Ciancaglini:2016:10.1007/978-3-319-30734-3_12,
author = {Dezani-Ciancaglini, M and Ghilezan, S and Jakši, S and Pantovi, J and Yoshida, N},
booktitle = {Lecture Notes in Computer Science},
doi = {10.1007/978-3-319-30734-3_12},
pages = {155--172},
publisher = {Springer},
title = {Denotational and operational preciseness of subtyping: A roadmap},
url = {http://dx.doi.org/10.1007/978-3-319-30734-3_12},
year = {2016}
}
Download

RIS format (EndNote, RefMan)

TY  - CHAP
AB  - The notion of subtyping has gained an important role both in theoretical and applicative domains: in lambda and concurrent calculi as well as in object-oriented programming languages. The soundness and the completeness, together referred to as the preciseness of subtyping, can be considered from two different points of view: denotational and operational. The former preciseness is based on the denotation of a type, which is a mathematical object describing the meaning of the type in accordance with the denotations of other expressions from the language. The latter preciseness has been recently developed with respect to type safety, i.e. the safe replacement of a term of a smaller type when a term of a bigger type is expected. The present paper shows that standard proofs of operational preciseness imply denotational preciseness and gives an overview on this subject.
AU  - Dezani-Ciancaglini,M
AU  - Ghilezan,S
AU  - Jakši,S
AU  - Pantovi,J
AU  - Yoshida,N
DO  - 10.1007/978-3-319-30734-3_12
EP  - 172
PB  - Springer
PY  - 2016///
SN  - 9783319307336
SP  - 155
TI  - Denotational and operational preciseness of subtyping: A roadmap
T1  - Lecture Notes in Computer Science
UR  - http://dx.doi.org/10.1007/978-3-319-30734-3_12
UR  - http://hdl.handle.net/10044/1/45754
ER  -
Download