An evolving algebra abstract machine

DOI10.1007/3-540-61377-3_39zbMATH Open1540.68137MaRDI QIDQ6560169FDOQ6560169

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

Publication date: 21 June 2024

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• Evolving Algebras 1993: Lipari Guide
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)