scientific article; zbMATH DE number 1231656

zbMath0917.68113MaRDI QIDQ4222981

Steven Eker

Publication date: 7 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15005

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

zbMATH Keywords

algebraic specificationsterm rewritingMAUDE

Mathematics Subject Classification ID

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

Related Items

Rewriting logic: Roadmap and bibliography ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Operational Termination of Membership Equational Programs: the Order-Sorted Way ⋮ Semantic foundations for generalized rewrite theories ⋮ Applications and extensions of context-sensitive rewriting ⋮ Methods for Proving Termination of Rewriting-based Programming Languages by Transformation ⋮ Induction for termination with local strategies ⋮ Lazy Rewriting and Context-Sensitive Rewriting ⋮ On-demand strategy annotations revisited: an improved on-demand evaluation strategy ⋮ Maude: specification and programming in rewriting logic

Uses Software

• OBJ3
• Maude