scientific article; zbMATH DE number 868105

zbMATH Open0852.68057MaRDI QIDQ4873989FDOQ4873989

Authors: Egon Börger, Rosario F. Salamone 

Publication date: 21 April 1996

Title of this publication is not available (Why is that?)

Recommendations

• Specification and correctness proof of a WAM extension with abstract type constraints
• scientific article
• scientific article; zbMATH DE number 773979

zbMATH Keywords

compilation of Prolog programsconstraint logic arithmetic machine

Mathematics Subject Classification ID

Logic programming (68N17) Abstract data types; algebraic specification (68Q65)

Cited In (2)

• Abstract state machines: a unifying view of models of computation and of system design frameworks
• Specification and correctness proof of a WAM extension with abstract type constraints

This page was built for publication:

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