Recent Trends in Algebraic Development Techniques

DOI10.1007/b107129zbMath1118.68514OpenAlexW4300641577WikidataQ57783451 ScholiaQ57783451MaRDI QIDQ5703990

Grigore Roşu

Publication date: 11 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b107129

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42)

Related Items

Transformations of Conditional Rewrite Systems Revisited ⋮ Converting between Combinatory Reduction Systems and Big Step Semantics ⋮ From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories ⋮ Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems ⋮ Transformation for Refining Unraveled Conditional Term Rewriting Systems

Uses Software

• Stratego
• ELAN
• OBJ3
• CafeOBJ
• Maude

This page was built for publication: Recent Trends in Algebraic Development Techniques