Project Details

Objektově orientované funkcionální jazyky vyššího řádu s přetěžováním symbolů

Project Period: 1. 1. 1997 - 31. 12. 1997

Project Type: grant

Agency: Faculty of Electrical Engineering and Computer Science BUT

Program:

English title
High-degree object-oriented functional languages with symbol overloading
Type
grant
Keywords

Object oriented - Functional language - Symbol overloading

Abstract

The project deals with design and implementation of analysis and type inference for a small functional object-oriented language. The main problem solved is to define semantics of overloading in the context of classes with inheritance.

Team members
Kolář Dušan, Dr. Ing. (UIVT FEI VUT) , research leader
Publications

1997

  • KOLÁŘ Dušan. Overloading in Object-Oriented Data Models. In: Proceedings of 31st International Conference MOSIS'97. Hradec nad Moravici, 1997, pp. 86-91. ISBN 80-85988-16-X. Detail
  • KOLÁŘ Dušan. Přetěžování funkcí a operátorů, Vlastnosti typů bez překrytí. Sborník prací studentů a doktorandů 1997. Brno: unknown, 1997, pp. 136-138. ISBN 80-214-0637-2. Detail
Back to top