See this document in CiteSeerX!

SOUL and Smalltalk Just Married: Evolution of the Interaction between a Logic and an Object-Oriented Language towards Symbiosis (2003)  (Make Corrections)  
Kris Gybels



  Home/Search   Context   Related

 
View or download:
prog.vub.ac.be/Pub...progtr0312.pdf
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  prog.vub.ac.be/...s.php?team=PROG (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Introduction The Smalltalk Open Unification Language is a Prolog-like language embedded in the object-oriented language Smalltalk [5]. Over the years, it has been used as a research platform for applying logic programming to a variety of problems in object-oriented software engineering, some examples are: representing domain knowledge explicitly [3]; reasoning about object-oriented design [15,14]; checking and enforcing programming patterns [11]; ; checking architectural conformance [16] and... (Update)

Active bibliography (related documents):   More   All
0.6:   Can Domain-Specific Languages Benefit from Linguistic Symbiosis - Gybels (2003)   (Correct)
0.4:   Inductively Generated Pointcuts to Support Refactoring to.. - Tom Tourwe Centrum (2004)   (Correct)
0.4:   Enforcing Feature Set Correctness for Dynamic Reconfiguration.. - Gybels (2003)   (Correct)

Similar documents based on text:   More   All
0.6:   An Experiment in Using Inductive Logic Programming to Uncover .. - Gybels, Kellens (2004)   (Correct)
0.4:   Towards Linguistic Symbiosis of an Object-Oriented and a.. - Brichau, Gybels, Wuyts (2002)   (Correct)

BibTeX entry:   (Update)

@misc{ gybels-soul,
  author = "Kris Gybels",
  title = "SOUL and Smalltalk - Just Married: Evolution of the Interaction between
    a Logic and an Object-Oriented Language towards Symbiosis",
  url = "citeseer.ist.psu.edu/gybels03soul.html" }
Citations (may not include all citations):
129   Smalltalk-80: the language (context) - Goldberg, Robson - 1983
45   Declarative reasoning about the structure of object-oriented.. - Wuyts - 1998
44   A Logic Meta Programming Approach to Support the Co-Evolutio.. - Wuyts - 2001
22   Supporting software development through declaratively codifi.. - Mens, Michiels et al. - 2001
17   Rbcl: a reflective objectoriented concurrent language withou.. - Ichisugi, Matsuoka et al. - 1992
17   Declaratively codifying software architectures using virtual.. - Wuyts, Mens - 1999
13   the embeddability of production rules in object-oriented sys.. - Pachet - 1995
12   Arranging language features for more robust pattern-based cr.. (context) - Gybels, Brichau - 2003
7   Building a backtracking facility for Smalltalk without kerne.. (context) - LaLonde, Van Gulik - 1988
5   Kiev language specification (context) - Kizub - 1998
4   Open Design of Object-Oriented Languages (context) - Steyaert - 1994
3   Language-independent detection of object-oriented design pat.. (context) - Fabry, Mens - 2003
3   Towards a linguistic symbiosis of an object-oriented and log.. - Brichau, Gybels et al. - 2002
1   Watson research (context) - rules, commerce et al. - 1999
1   Using reflective logic programming to describe domain knowle.. (context) - D'Hondt, De Meuter et al. - 1999
1   Linguistic symbiosis for the automatic connection of busines.. (context) - D'Hondt, Gybels - 2003

Documents on the same site (http://prog.vub.ac.be/progsite/Prog%20Publications.php?team=PROG):   More
Transformational Software Evolution by Assertions - Mens (2001)   (Correct)
Annotating Evolving Software with Explicit Intentions - Mens (1998)   (Correct)
Modular Inheritance of Objects through Mixin-Methods - Lucas, Steyaert (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