Strategies for symbolic processing and synthesis of algorithms and programs

zbMATH Open0875.68569MaRDI QIDQ1817148FDOQ1817148

Authors: G. E. Tsejtlin 

Publication date: 13 May 1997

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

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

zbMATH Keywords

sortingsearchingsymbolic processingalgorithm algebrassyntactical analysis of programs

Mathematics Subject Classification ID

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

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)