Detail publikace

Inheritance of specifications in the calculus of functional objects

RYŠAVÝ Ondřej. Inheritance of specifications in the calculus of functional objects. Brno: Fakulta informačních technologií VUT v Brně, 2006.
Název česky
Dědičnost v jazyce kalkulu funkcionálních objektů
Typ
technická zpráva
Jazyk
angličtina
Autoři
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
URL
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
Fakulta informačních technologií VUT v Brně
Místo
Brno, CZ
BibTeX 
@TECHREPORT{FITPUB8185,
   author = "Ond\v{r}ej Ry\v{s}av\'{y}",
   title = "Inheritance of specifications in the calculus of functional objects",
   pages = 15,
   year = 2006,
   location = "Brno, CZ",
   publisher = "Faculty of Information Technology BUT",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8185"
}
Nahoru