J. Striegnitz, K. Davis, Y. Smaragdakis (eds.)  @ NUS Home/Search
Context
Related
| kfajuelich.de/nic...cserieband13.pdf Cached: PS.gz PS PDF Image Update Help From: kfajuelich.de/nicser...volume13 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a programming framework that combines the concepts of objects, rules and strategies, built as an extension of the rule-based language with strategies ELAN. This extension is implemented in a reflective way in ELAN itself and relies on the same formal semantics, namely the #-calculus. (Update)
Similar documents (at the sentence level):
10.3%: Objects, rules and strategies in ELAN - Dubois, Kirchner (2000) (Correct)
Active bibliography (related documents): More All
0.7: Rewriting Logic: Roadmap and Bibliography - Martí-Oliet, Meseguer (2001) (Correct)
0.6: The rewriting calculus - Part II - Cirstea, KIRCHNER (2001) (Correct)
0.6: The Simply Typed Rewriting Calculus - Cirstea, Kirchner (2000) (Correct)
Similar documents based on text: More All
0.8: A case in Multiparadigm Programming: User Interfaces by .. - Goderis, De Meuter.. (2002) (Correct)
0.5: Synchronization and Interdependence Measures and Their.. - Kraskov (2004) (Correct)
0.5: Numerical Methods for Limit and Shakedown Analysis -.. - Staat, (eds.) (Correct)
BibTeX entry: (Update)
@misc{ striegnitz-multiparadigm,
author = "J. Striegnitz and K. Davis and Y. Smaragdakis (eds.)",
title = "Multiparadigm Programming with Object-Oriented Languages",
url = "citeseer.comp.nus.edu.sg/656471.html" }
Citations (may not include all citations):737 The Java programming language (context) - Arnold, Gosling - 1996
492 Smalltalk-80: The Language and Its Implementation (context) - Goldberg, Robson - 1983
484 Common lisp: The Language (context) - Steele - 1990
299 Conditional rewriting logic as a unified model of concurrenc.. (context) - Meseguer - 1992
254 Book: Assigning Programs to Meanings (context) - Abrial - 1996
174 Springer-Verlag (context) - Abadi, Cardelli et al. - 1996
162 Prentice Hall (context) - Meyer, el et al. - 1992
127 General logics (context) - Meseguer - 1989
75 Object-oriented concurrent constraint programming in oz - Henz, Smolka et al. - 1995
63 A Lambda Calculus of Objects and Method Specializatio n - Fisher, Honsell et al. - 1994
23 Revised report on the algorithmic language Scheme (context) - Abelson, Dybvig et al. - 1998
18 CLAIRE: Combining objects and rules for problem solving - Caseau, Laburthe - 1996
13 Towards Maude - Clavel, Duran et al. - 2000
10 What Orientation Should Ada Objects Take (context) - Rosen - 1992
9 Rewriting with strategies in ELAN: a functional semantics - Borovansky, Kirchner et al. - 2001
7 Matching Power (context) - Cirstea, Kirchner et al. - 2001
7 Combining higher-order and first-order computation using #-c.. - Cirstea, Kirchner - 1999
4 Department of Computer Science (context) - Barringer, down et al. - 1985
2 ective object-oriented extension of ML (context) - Remy, Vouillon et al. - 1998
2 Le Rho Calcul: Fondements et Applications (context) - Cirstea - 2000
2 rules and strategies in ELAN (context) - Dubois, Kirchner - 2000
2 Rule Based Programming with Constraints and Strategies - Dubois, Kirchner - 2000
1 fourth edition (context) - Borovansky, Cirstea et al. - 2000
1 Systemes de Regles de Production et Calcul de Reecriture (context) - Dubois - 2001
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.