Transformation of algorithms written in the form of composition schemes
From MaRDI portal
(Redirected from Publication:466022)
Recommendations
- scientific article; zbMATH DE number 3936509
- Transformational programming and the derivation of algorithms
- Euro-Par 2004 Parallel Processing
- Transformation synthesis of efficient algorithms with auxiliary specifications
- Formal transformation of structured sorting algorithms
- Computable transformations of structures
- Transformational reducibility and synthesis of algorithms and programs of symbolic processing
- Generalised compositionality in graph transformation
- Algorithms and reductions for rewriting problems
Cited in
(4)- Some aspects of algorithm transformation based on the formalization of information connections
- The Algorithmic Transformation of Schemas to Structured Form
- Formalization of interrelations between operators and data within the framework of an extended algebra of algorithms
- scientific article; zbMATH DE number 1194289 (Why is no real title available?)
This page was built for publication: Transformation of algorithms written in the form of composition schemes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q466022)