Mircea Marin, Florina Piroi  Home/Search
Context Related
| ricam.oeaw.ac.at/peo...MarinPiroiIMS.ps 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: ricam.oeaw.ac.at/people/...vita_8 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Recent years have witnessed renewed developments of the rule-based programming style, addressing both its theoretical foundations and its practical implementations. New rule-based programming languages have emerged, and several practical applications have shown that rules are indeed a useful programming tool. We believe that Mathematica has the right basic ingredients for supporting rule-based programming efficiently. Because the main features of a true rule-based programming language are still ... (Update)
Cited by: More
A Rule-based Approach to the Implementation of Evaluation.. - And Temur Kutsia (Correct)
Active bibliography (related documents): More All
0.5: A Deterministic Lazy Conditional Narrowing Calculus - Marin (2002) (Correct)
0.3: Rule-based Deduction and Views in Mathematica - Marin, Piroi (2003) (Correct)
0.3: Deduction and Presentation in ρLog - Marin, Piroi (2003) (Correct)
Similar documents based on text: More All
0.6: An Environment for Building Mathematical Knowledge Libraries - Piroi, Buchberger (2004) (Correct)
0.5: Functional Programming with Sequence Variables: The Sequentica.. - Marin (2003) (Correct)
0.4: A Jini Service for Collaborative Constraint Solving - And (Correct)
BibTeX entry: (Update)
Mircea Marin and Florina Piroi. Rule-based programming with Mathematica. In Sixth Mathematica Symposium (IMS 2004), Ban#, Alberta, Canada, August 1-6 2004. http://citeseer.ist.psu.edu/marin04rulebased.html More
@inproceedings{ piroi-rulebased:2004,
author = "Mircea Marin and Florina Piroi",
title = "Rule-Based Programming with Mathematica",
series = "Proceedings of the Sixth Intl. Mathematica Symposium (IMS 2004)",
address = "Banff, Alberta",
date = "August 1-6",
year = 2004,,
url = "citeseer.ist.psu.edu/marin04rulebased.html" }
Citations (may not include all citations):210 its Syntax and Semantics (context) - Barendregt, Calculus - 1984
94 Maude: Specification and programming in rewriting logic - Clavel, Duran et al. - 2001
82 Logic for Computer Science: Foundations of Automatic Theorem.. (context) - Gallier - 1985
59 Stratego: A language for program transformation based on rew.. - Visser - 2001
24 ELAN: A logical framework based on computational systems - Borovansky, Kirchner et al. - 1996
18 Claire: Combining objects and rules for problem solving - Caseau, Laburthe - 1996
14 Mathematica as a rewrite language (context) - Buchberger - 1996
9 Programming with Sequence Variables: The sequentica Package (context) - Marin, epeneu - 2003
5 Theorema: a short introduction (context) - Buchberger - 2001
4 ELAN: User Manual - Borovansky, Cirstea et al. - 2000
2 New Completeness Results for Lazy Conditional Narrowing - Marin, Middeldorp - 2002
Documents on the same site (http://www.ricam.oeaw.ac.at/people/page/marin/vita/vita_8.html): More
On the Implementation of a Rule-Based Programming System and.. - Marin, Kutsia (2003) (Correct)
Cooperative Constraint Functional Logic Programming - Mircea Marin Tetsuo (2000) (Correct)
Constraint Functional Logic Programming for - Tetsuo (2003) (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