Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
1993 | 10.1016/0950-5849(93)90072-B | Information and Software Technology |
Field | DocType | Volume |
Functional logic programming,Composition over inheritance,Computational logic,Programming language,Object-oriented programming,Unification,Computer science,Exception handling,Theoretical computer science,Many-sorted logic,Logic programming | Journal | 35 |
Issue | ISSN | Citations |
4 | 0950-5849 | 5 |
PageRank | References | Authors |
0.67 | 9 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Byeong Man Kim | 1 | 5 | 0.67 |
K. Y. Ryu | 2 | 5 | 0.67 |
Seung Ryoul Maeng | 3 | 85 | 19.68 |
J. W. Cho | 4 | 5 | 0.67 |