DC FieldValueLanguage
dc.contributor.authorGhilezan, Silviaen_US
dc.date.accessioned2021-11-17T09:36:18Z-
dc.date.available2021-11-17T09:36:18Z-
dc.date.issued2021-05-26-
dc.identifier.isbn978-1-4503-9057-6-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/4697-
dc.description.abstractFast developments of information technologies with rapidly emerging new disciplines and their application in all segments of life and society permanently urge for the development of foundational aspects based on solid theoretical concepts. Early work on the foundations of mathematics, George Cantor’s Naïve set theory was fostering paradoxes which were singled out by Bertrand Russell: Does the set of sets not containing themself contain itself? Or not? At the beginning of the XX century, Type theory was a way out of these paradoxes preventing the expression “the set does not contain itself” to be a valid predicate anymore, since sets and their elements belong to different types. To this end, type theory has provided trustworthiness to logic and foundations of mathematics. The Curry-Howard correspondence is a deep result that connects logic and computation wherein mathematical proofs coincide with computer programs and formulae with types. With this respect, types have gained an important role in the analysis of formal systems. A type system splits elements (terms, programs) of a language into sets, called types, and proves absence of certain undesired behaviors. In programming languages, types represent a well-established technique to ensure program correctness. Accordingly, types have provided trustworthiness to foundations of programming languages. Nowadays, there is a plethora of type systems in logic, programming languages, distributed and large scale systems which establish trustworthiness of the particular framework. In this talk, we present some significant type systems - functional types, behavioural types, linked data types - along with their properties such as type safety, liveness, deadlock freedom and discuss their role for ensuring trustworthiness.en_US
dc.publisherAssociation for the Computing Machineryen_US
dc.titleType Systems for Trustworthiness –- from Mathematics to Large-Scale Systems (keynote)en_US
dc.typeConference Paperen_US
dc.relation.conferenceECBS 2021: 7th Conference on the Engineering of Computer Based Systems, Novi Sad, Serbia, May 26 - 27, 2021en_US
dc.identifier.doi10.1145/3459960.3461562-
dc.contributor.affiliationMathematicsen_US
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage1-
dc.relation.lastpage2-
dc.description.rankM32-
item.openairetypeConference Paper-
item.cerifentitytypePublications-
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.grantfulltextnone-
crisitem.author.orcid0000-0003-2253-8285-
Show simple item record

Page view(s)

52
checked on May 9, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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