Detail publikace

Inheritance of specifications in the calculus of functional objects

RYŠAVÝ, O. Inheritance of specifications in the calculus of functional objects. Brno: Faculty of Information Technology BUT, 2006.
Název česky
Dědičnost v jazyce kalkulu funkcionálních objektů
Typ
výzkumná zpráva
Jazyk
anglicky
Autoři
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
URL
Klíčová slova

Abstract data types, formal definitions and theory, object-oriented languages, object types, program construction, type theory.

Abstrakt

Tento dokument je zpráva, která podavá informace of běžícím projektu jehož cílem je vytvořit formální systém teorie typů založený na objektovém kalkulu, který by umožňoval využít vlastností objektového přístupu pro modularizaci specifikace a jejich znovupoužití.

Rok
2006
Strany
15
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
BibTeX 
@techreport{BUT58318,
  author="Ondřej {Ryšavý}",
  title="Inheritance of specifications in the calculus of functional objects",
  year="2006",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  pages="15",
  url="http://www.fit.vutbr.cz/~rysavy/publications/rysavy_06_inheritance.pdf"
}
Nahoru