Algebraic programm interpreter APREX2

DOI10.1007/BFB0020833MaRDI QIDQ4035706zbMATH OpenFDO

Authors D. Rayko, Kirill Vershinin, I. G. Romanenko

Publication date 18 May 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0020833

zbMATH Keywords

AC matchingalgebraic programmingalgebraic specificationsexecution of specificationsorder-sorted signaturerapid program prototypingrewrite rules

Mathematics Subject Classification ID

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

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: Algebraic programm interpreter APREX2

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