A rewriting framework for rule-based programming dynamic applications

MaRDI QIDQ5486053zbMATHFDO

Authors A. Yu. Doroshenko, Ruslan Shevchenko

Publication date 6 September 2006

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)

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

Cited in

(4)

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

Describes a project that uses

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)