scientific article; zbMATH DE number 5051644

zbMath1097.68537MaRDI QIDQ5486053

Ruslan Shevchenko, A. Yu. Doroshenko

Publication date: 6 September 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

term rewritingrule-based programmingsoftware system analysis

Mathematics Subject Classification ID

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

Related Items (1)

Software tools for automation of parallel programming on the basis of algebra of algorithms

Uses Software

• Stratego
• ATERM

This page was built for publication: