Publication Details

Type Systems in Object-Oriented Model

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

Type

conference paper

Language

English

Authors

Beneš Miroslav, doc. Ing., Ph.D.

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í

BibTeX

@inproceedings{BUT192355,
  author="Miroslav {Beneš}",
  title="Type Systems in Object-Oriented Model",
  year="1997",
  pages="104--110",
  address="Hradec nad Moravicí",
  isbn="80-85988-16-X"
}