Can Objects Have Dependent Types?
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F07%3APU70920" target="_blank" >RIV/00216305:26230/07:PU70920 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Can Objects Have Dependent Types?
Original language description
Type discipline on type systems equipped with dependent types allows for checking more refined properties of programs at static time. This paper elaborates on the construction of the type system with dependent types for an object-oriented programming language. An approach for integration of dependent types with object-oriented paradigm is presented followed by an informal description of the proposed extension to the existing language.
Czech name
Mohou mít objekty závislé typy?
Czech description
Příspěvěk pojednává o konstrukci typového systému s hodnotově-závislými typy pro objektově-orientovaný programovací jazyk.
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GP201%2F07%2FP544" target="_blank" >GP201/07/P544: Framework for the deductive analysis of embedded software</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2007
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007)
ISBN
978-80-7355-077-6
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
173-180
Publisher name
Ing. Zdeněk Novotný, CSc.
Place of publication
Znojmo
Event location
Znojmo
Event date
Oct 26, 2007
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—