Translation of algebraic programs into executable codes

DOI10.1007/S10559-006-0014-6zbMath1103.68448OpenAlexW1986611584MaRDI QIDQ2508826

S. V. Goncharov, A. Ye. Rudich

Publication date: 20 October 2006

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-006-0014-6

zbMATH Keywords

term rewritingrewriting strategiesmetaprogrammingalgebraic programmingreconstruction of types

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Grammars and rewriting systems (68Q42)

Uses Software

• ATERM
• APS
• Unnamed Item
• Unnamed Item

Cites Work

• Computations in APS
• Basic paradigms of programming
• A survey of strategies in rule-based program transformation systems

This page was built for publication: Translation of algebraic programs into executable codes