scientific article; zbMATH DE number 176539

zbMATH Open0776.68066MaRDI QIDQ4035706FDOQ4035706

Authors:

Publication date: 18 May 1993

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

Recommendations

• scientific article; zbMATH DE number 3978367
• Computations in APS
• Objects in algebraic programming system
• Deductive tools of an algebraic programming system
• A computer algebra system based on order-sorted algebra

zbMATH Keywords

algebraic specificationsexecution of specificationsrewrite rulesalgebraic programmingAC matchingorder-sorted signaturerapid program prototyping

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Grammars and rewriting systems (68Q42) Theory of software (68N99) Abstract data types; algebraic specification (68Q65)

Cited In (1)

• Title not available (Why is that?)

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 Q4035706)