From Object Specification to Enhanced Logic Programming
Download:
|
|
by Martin Gogolla, Sedat Guler, Rudolf Herzig, Tu Braunschweig, Abt Datenbanken
http://www.db.informatik.uni-bremen.de/publications/Gogolla_1994_ISCIS_Logic.ps.gz
Add To MetaCart
Abstract:
We combine the area of object-oriented specification and object-oriented logic programming by indicating the translation of a specification language into an enhanced logic programming language. The translation shows that in comparison to the programming language the specification language offers richer concepts. The background of our work is the development of rapid prototyping systems for
Citations
| 309 | Object Identity as a Query Language Primitive – Abiteboul, Kanellakis - 1989 |
| 148 | F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme – Kifer, Lausen - 1989 |
| 82 | L&O: Logic and Objects – McCabe - 1992 |
| 63 | Object-oriented concurrent constraint programming – Henz, Smolka, et al. - 1995 |
| 40 | TROLL light: A core language for specifying objects – Conrad, Gogolla, et al. - 1992 |
| 35 | An Overview of LIFE – Ait-Kaci - 1990 |
| 35 | Sketching Concepts and Computational Model of TROLL light – Gogolla, Conrad, et al. - 1993 |
| 23 | Object Identity and Inheritance in Deductive Databases -- An Evolutionary Approach – Zaniolo - 1990 |
| 17 | Compositional Description of Object Communities with TROLL light – Herzig, Conrad, et al. - 1994 |
| 8 | Polka: A Parlog object-oriented language – Davison - 1989 |
| 8 | An animator for the object specification language TROLL light – Herzig, Gogolla - 1994 |
| 3 | Supporting User Interaction with OODB's: A Declarative Approach – STAES, TARANTINO, et al. - 1991 |
