Tarmo Uustalu  Home/Search
Context Related
Links: DBLP | it.kth.se/labs/se/Re...oomodallp.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: it.kth.se/labs/cs/segroup...publ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . In this paper, a number of existing solutions and suggestions towards combining the object-oriented (OO) and logic programming paradigms have been briefly studied and categorized, and a sketch of a new solution has been proposed which tries to capture the essence of OO in terms of modal logic, and which could be implemented as a modal logic programming system. The proposal is based on the belief that two orthogonal dimensions - object hierarchy and time - are involved in OO that in many... (Update)
Context of citations to this paper: More
...languages built on top of logic based languages. This classification was motivated by similar ones proposed in various papers [145, 42, 43, 28]. The examples of object oriented language extended with logical constructs is Orient84 K [69, 70] and LogiC [155] In Orient84...
...paradigms, either in a pragmatic implementation targeted way, or by developing an underlying theory. Some typical examples are [18, 26, 21]. Our approach differs from those in that we offer an underlying unifying framework for the combination of arbitrary paradigms...
Cited by: More
Programming Paradigms as Object Classes: A Structuring Mechanism .. - Spinellis (1994) (Correct)
Language and Architecture Paradigms as Object.. - Spinellis.. (1994) (Correct)
Object-Oriented Constraint Programming for Interactive Applications - Li (1995) (Correct)
Active bibliography (related documents): More All
0.9: Software Development Environment Based on.. - Khaled Fouad Sayed.. (1995) (Correct)
0.8: A Logic-Based Concurrent Object-Oriented Programming Language - Melendez (1997) (Correct)
0.6: Mutable Object State for Object-Oriented Logic Programming: A.. - Alexiev (1993) (Correct)
Similar documents based on text: More All
0.2: Mendler-Style Inductive Types, Categorically - Uustalu, Vene (1999) (Correct)
0.2: Recursion Schemes from Comonads - Uustalu, Vene, Pardo (2001) (Correct)
0.2: Comonadic Iteration (Abstract) - Uustalu, Vene, Pardo (2000) (Correct)
Related documents from co-citation: More All
4: Object-Oriented Programming in Prolog (context) - Zaniolo - 1984
3: Vulcan: Logical Concurrent Objects (context) - Kahn, Tribble et al. - 1987
3: An abstract prolog instruction set (context) - Warren - 1983
BibTeX entry: (Update)
T. Uustalu. Combining object-oriented and logic paradigms: A modal logic programming approach. In O. L. Madsen, editor, European Conference on Object-Oriented Programming (ECOOP'92), pages 98--113, June 1992. http://citeseer.ist.psu.edu/uustalu92combining.html More
@inproceedings{ uustalu92combining,
author = "Tarmo Uustalu",
title = "{Combining Object-Oriented and Logic Paradigms: {A} Modal Logic Programming Approach}",
booktitle = "Proceedings of the \mbox{ECOOP}~'92 European Conference on Object-oriented Programming",
publisher = "Springer-Verlag",
address = "Utrecht, The Netherlands",
editor = "O. Lehrmann~Madsen",
pages = "98--113",
year = "1992",
url = "citeseer.ist.psu.edu/uustalu92combining.html" }
Citations (may not include all citations):413 Logical foundations of object-oriented and frame-based langu.. - Kifer, Lausen et al. - 1990 ACM DBLP
343 Modal Logic: An Introduction (context) - Chellas - 1980
61 Object-oriented programming in Concurrent Prolog (context) - Shapiro, Takeuchi - 1983
52 object-oriented and relational programming with logical sema.. (context) - Goguen, Meseguer - 1987
48 A logical theory of concurrent objects (context) - Meseguer - 1990 ACM DBLP
36 A theory of modules for logic programming (context) - Miller - 1986 DBLP
32 Object-oriented programming in Prolog (context) - Zaniolo - 1984 ACM DBLP
24 Logical objects (context) - Conery - 1988 DBLP
24 Vulcan: Logical concurrent objects (context) - Kahn - 1987
19 Normal multimodal logics (context) - Catach - 1988 DBLP
18 LOGIN: A logic programming language with built-in inheritanc.. (context) - Ait-Kaci, Nasr - 1986 ACM DBLP
18 On types and FOOPS (context) - Goguen, Wolfram - 1991 DBLP
17 Concurrent object-oriented knowledge representation language.. (context) - Ishikawa, Tokoro - 1986
17 An experience with a Prolog-based objectoriented language (context) - Fukunaga, Hirose - 1986
16 MOLOG: A system that extends Prolog with modal logic (context) - del - 1986 ACM DBLP
15 A theory of modules based on second-order logic (context) - Chen - 1987 DBLP
14 Merging objects and logic programming: Relational semantics (context) - Gallaire - 1986 DBLP
11 Objects as intensions (context) - Chen, Warren - 1988 DBLP
9 SCOOP: Structured Concurrent Object-Oriented Prolog (context) - Vaucher, Lapalme et al. - 1988
8 Logic: Integration of logic with objects (context) - Ibrahim, Cummins - 1990
7 ObjVProlog: Metaclasses in logic (context) - Malenfant, Lapalme et al. - 1989 DBLP
7 Objects as communicating Prolog units (context) - Mello, Natali - 1987 ACM DBLP
6 Extended Prolog for order-sorted resolution (context) - Huber, Varsek - 1987 DBLP
6 Unique features of ESP (context) - Chikayama - 1984 DBLP
5 Bridging the gap between object-oriented and logic programmi.. (context) - Koschmann, Evens - 1988 ACM DBLP
5 MULTILOG: MULtiple worlds in LOGic programming (context) - Kauffmann, Grumbach - 1986
5 Mandala: A logic-based knowledge programming system (context) - Furukawa - 1984
4 Knowledge representation in Prolog/KR (context) - Nakashima - 1984 DBLP
4 An integration of logic and object-oriented programming (context) - Mellender - 1988
4 a LOgic-based language for Complex Objects (context) - Laenens, Vermeir et al. - 1989
4 An introduction to Prolog (context) - Moss - 1990
2 Order-sorted predicate logic (context) - Oberschelp - 1989 ACM
2 Combining logic- and object-oriented programming language pa.. (context) - Leonardi, Mello - 1988
1 Combination of object-oriented and logic paradigms (context) - Uustalu - 1991
1 Propositional logic programing and the PRIZ system (context) - Mints, Tyugu - 1990
1 London: Imperial College (context) - McCabe, Objects - 1988
1 Semantic and syntactic inheritance in logic programming (context) - Monteiro, Porto - 1990
1 The constraint-based paradigm: Integrating object-oriented a.. (context) - Biema, Maquire et al. - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.it.kth.se/labs/cs/se-group/publ.html): More
Using Classes As Specifications For Automatic Construction Of.. - Tyugu (1994) (Correct)
Program Analysis and Visualisation: Towards A Declarative.. - Sidarkeviciute (1997) (Correct)
Constraints in NUT - Penjam, Tyugu (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC