An evolving algebra abstract machine

DOI10.1007/3-540-61377-3_39MaRDI QIDQ6560169zbMATH OpenFDO

Authors Giuseppe Del Castillo, Igor Đurđanović, Uwe Glässer

Publication date 21 June 2024

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Evolving Algebras 1993: Lipari Guide
• scientific article; zbMATH DE number 5999715
• scientific article; zbMATH DE number 515735
• Program specification by typed Gurevich machines
• scientific article; zbMATH DE number 938514

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 8772 (Why is no real title available?)
• scientific article; zbMATH DE number 517001 (Why is no real title available?)
• scientific article; zbMATH DE number 1142323 (Why is no real title available?)
• scientific article; zbMATH DE number 821280 (Why is no real title available?)
• scientific article; zbMATH DE number 868103 (Why is no real title available?)
• Evolving Algebras 1993: Lipari Guide

This page was built for publication: An evolving algebra abstract machine

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