Hybrid implementations of algebraic specifications

DOI10.1007/3-540-53162-9_29MaRDI QIDQ5096186zbMATH OpenOpenAlexFDO

Authors 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) Grammars and rewriting systems (68Q42) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3954253
• Observational implementation of algebraic specifications
• Algebraic implementations preserve program correctness
• Implementation of data types by algebraic methods
• scientific article; zbMATH DE number 176490

Cites work

• scientific article; zbMATH DE number 4090779 (Why is no real title available?)
• scientific article; zbMATH DE number 4092746 (Why is no real title available?)
• scientific article; zbMATH DE number 194509 (Why is no real title available?)
• Logic programming with equations

Cited in

(6)

• Computation algebras
• scientific article; zbMATH DE number 8763 (Why is no real title available?)
• scientific article; zbMATH DE number 1760140 (Why is no real title available?)
• Rewrite systems for integer arithmetic
• A hybrid algebraic-numeric system ANS and its preliminary implementation
• Datatype defining rewrite systems for naturals and integers

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096186)