Hybrid implementations of algebraic specifications

DOI10.1007/3-540-53162-9_29zbMath1495.68143OpenAlexW1507030869MaRDI QIDQ5096186

H. R. J. Walters

Publication date: 16 August 2022

Published in: Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-53162-9_29

Mathematics Subject Classification ID

Theory of programming languages (68N15) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42)

Related Items

Rewrite systems for integer arithmetic ⋮ Unnamed Item

Cites Work

• Logic programming with equations
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Hybrid implementations of algebraic specifications