Strategies for symbolic processing and synthesis of algorithms and programs

MaRDI QIDQ1817148zbMATH OpenFDO

Authors G. E. Tsejtlin

Publication date 13 May 1997

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

algorithm algebrassearchingsortingsymbolic processingsyntactical analysis of programs

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Searching and sorting (68P10) Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30)

Recommendations

• Structured programming in symbolic multiprocessing
• A means for the structural synthesis of programs
• scientific article; zbMATH DE number 4033065
• A note on synthesis and classification of sorting algorithms
• Searching and sorting: Classification, transformation, and synthesis. I

This page was built for publication: Strategies for symbolic processing and synthesis of algorithms and programs

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