Result Details
Type Systems in Object-Oriented Model
BENEŠ, M. Type Systems in Object-Oriented Model. Hradec nad Moravicí: Marq software s.r.o., 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
Publisher
Marq software s.r.o.
Place
Hradec nad Moravicí
BibTeX
@inproceedings{BUT192355,
author="Miroslav {Beneš}",
title="Type Systems in Object-Oriented Model",
year="1997",
pages="104--110",
publisher="Marq software s.r.o.",
address="Hradec nad Moravicí",
isbn="80-85988-16-X"
}
Projects
Multi-type Objects in Object Data Model, GACR, Standardní projekty, GA201/97/P111, start: 1998-01-01, end: 1999-12-31, completed
Object-oriented database model, UIVT-OODM, start: 1997-05-23, end: 2003-04-24, completed
Object-oriented Database Model, GA102/96/0986, start: 1996-01-01, end: 1998-12-31, completed
Object-oriented database model, UIVT-OODM, start: 1997-05-23, end: 2003-04-24, completed
Object-oriented Database Model, GA102/96/0986, start: 1996-01-01, end: 1998-12-31, completed
Research groups
Departments