Detail výsledku

Can Objects Have Dependent Types?

PETERKA, O.; RYŠAVÝ, O.; LORENC, V.; OSOVSKÝ, M.; ŠKARVADA, L. Can Objects Have Dependent Types?. Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). Znojmo: Ing. Zdeněk Novotný, CSc., 2007. p. 173-180. ISBN: 978-80-7355-077-6.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Peterka Ondřej, Ing., UIFS (FIT)
Ryšavý Ondřej, doc. Ing., Ph.D., UIFS (FIT)
Lorenc Václav
Osovský Martin
Škarvada Libor
Abstrakt

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.

Klíčová slova

dependent types, object types, type theory, programming language design, polymorphic data types

URL
Rok
2007
Strany
173–180
Sborník
Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007)
Konference
MEMICS'07 -- 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ISBN
978-80-7355-077-6
Vydavatel
Ing. Zdeněk Novotný, CSc.
Místo
Znojmo
BibTeX 
@inproceedings{BUT25360,
  author="Ondřej {Peterka} and Ondřej {Ryšavý} and Václav {Lorenc} and Martin {Osovský} and Libor {Škarvada}",
  title="Can Objects Have Dependent Types?",
  booktitle="Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007)",
  year="2007",
  pages="173--180",
  publisher="Ing. Zdeněk Novotný, CSc.",
  address="Znojmo",
  isbn="978-80-7355-077-6",
  url="http://www.fit.vutbr.cz/~rysavy/bibpdf/peterka_07_objects.pdf"
}
Projekty
Rámec pro deduktivní analýzu softwarových aplikací vestavěných systémů, GAČR, Postdoktorandské granty, GP201/07/P544, zahájení: 2007-01-01, ukončení: 2008-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru