scientific article; zbMATH DE number 176539

MaRDI QIDQ4035706zbMATH OpenFDO

Authors

Publication date 18 May 1993

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)

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

Cited in

(1)

• scientific article; zbMATH DE number 44180 (Why is no real title available?)

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)