A rewriting framework for rule-based programming dynamic applications

zbMATH Open1097.68537MaRDI QIDQ5486053FDOQ5486053

Authors: A. Yu. Doroshenko, Ruslan Shevchenko 

Publication date: 6 September 2006

Recommendations

• scientific article; zbMATH DE number 1615226
• scientific article; zbMATH DE number 1231662
• The rewriting logic semantics project: a progress report
• The rewriting logic semantics project: a progress report
• Automated Reasoning

zbMATH Keywords

term rewritingrule-based programmingsoftware system analysis

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (4)

• Mumbo: a rule-based implementation of a run-time program generation language
• A class of rewriting rules and reverse transformation for rule-based equivalent transformation
• Software tools for automation of parallel programming on the basis of algebra of algorithms
• Reusing and modifying rulebases by predicate substitution

Uses Software

• Stratego
• ATERM

This page was built for publication: A rewriting framework for rule-based programming dynamic applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5486053)