Combining many-sorted logic and object-oriented programming
| Autor: | Kiyeol Ryu, Jung Wan Cho, Byeong Man Kim, Seungryoul Maeng |
|---|---|
| Rok vydání: | 1993 |
| Předmět: |
Composition over inheritance
Object-oriented programming Theoretical computer science Unification Functional logic programming Programming language Computer science Computational logic computer.software_genre Many-sorted logic Computer Science Applications Inheritance (object-oriented programming) computer Software Logic programming Information Systems |
| Zdroj: | Information and Software Technology. 35:241-253 |
| ISSN: | 0950-5849 |
| DOI: | 10.1016/0950-5849(93)90072-b |
| Popis: | The logic language based on many-sorted logic, EPOS, can support object-oriented concepts such as classes and inheritance. Classes can be treated as sorts and inheritance as many-sorted unification. However, there are some problems for supporting object-oriented programming, namely, the inconsistency in inheritance, difficulty in exception handling, restricted inheritance hierarchy, etc. To solve these problems, we design an object-oriented many-sorted logic language TRY and provide translation techniques by which a TRY program is translated into an EPOS program. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|