Publication Details

Type Systems in Object-Oriented Model

BENEŠ Miroslav. Type Systems in Object-Oriented Model. In: Hradec nad Moravicí, 1997, pp. 104-110. ISBN 80-85988-16-X.

Type

conference paper

Language

english

Authors

Beneš Miroslav, Dr. Ing. (DCSE FEECS BUT)

Keywords

object-oriented model, type systems, sigma calculus, inheritance

Annotation

The paper deals with formal specification of an object-oriented model using extensions of the general sigma-calculus. The extensions concentrate on the multiple inheritance and multi-type objects. The type discipline for such objects should provide correct semantics of expressions.

Published

1997

Pages

104-110

ISBN

80-85988-16-X

Place

Hradec nad Moravicí, CZ

BibTeX

@INPROCEEDINGS{FITPUB5574,
   author = "Miroslav Bene\v{s}",
   title = "Type Systems in Object-Oriented Model",
   pages = "104--110",
   year = 1997,
   location = "Hradec nad Moravic\'{i}, CZ",
   ISBN = "80-85988-16-X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/5574"
}