DC FieldValueLanguage
dc.contributor.authorDezani-Ciancaglini, Mariangiolaen
dc.contributor.authorGhilezan, Silviaen
dc.contributor.authorJakšić, Svetlanaen
dc.contributor.authorPantović, Jovankaen
dc.contributor.authorYoshida, Nobukoen
dc.date.accessioned2020-05-02T16:42:19Z-
dc.date.available2020-05-02T16:42:19Z-
dc.date.issued2016-01-01en
dc.identifier.isbn978-3-319-30733-6en
dc.identifier.issn0302-9743en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/2586-
dc.description.abstractThe 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.en
dc.publisherSpringer Link-
dc.relationCOST IC1201 BETTY, IC1402 ARVI and DART-
dc.relationRepresentations of logical structures and formal languages and their application in computing-
dc.relationDevelopment of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education-
dc.relationEPSRC EP/K011715/1, EP/K034413/1, and EP/L00058X/1-
dc.relation.ispartofLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en
dc.titleDenotational and operational preciseness of subtyping: A roadmapen
dc.typeConference Paperen
dc.relation.conferenceFrank de Boer on the Occasion of His 60th Birthday, 2016; Porto; Portugal; 5 July 2016 through 5 July 2016-
dc.identifier.doi10.1007/978-3-319-30734-3_12en
dc.identifier.scopus2-s2.0-84962568910en
dc.relation.firstpage155en
dc.relation.lastpage172en
dc.relation.volume9660en
dc.description.rankM33-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.openairetypeConference Paper-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0003-2253-8285-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/174026e.php-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/044006e.php-
crisitem.project.fundingProgramDirectorate for Social, Behavioral & Economic Sciences-
crisitem.project.fundingProgramNATIONAL HEART, LUNG, AND BLOOD INSTITUTE-
crisitem.project.openAireinfo:eu-repo/grantAgreement/NSF/Directorate for Social, Behavioral & Economic Sciences/1740267-
crisitem.project.openAireinfo:eu-repo/grantAgreement/NIH/NATIONAL HEART, LUNG, AND BLOOD INSTITUTE/5R01HL044006-04-
Show simple item record

SCOPUSTM   
Citations

6
checked on Jun 21, 2024

Page view(s)

39
checked on May 9, 2024

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.