Transformation synthesis of efficient algorithms with auxiliary specifications

DOI10.1007/BF01068689MaRDI QIDQ3787464zbMATHFDO

Authors A. B. Godlevskij, S. L. Krivoj

Publication date 1986

Published in Cybernetics (Search for Journal in Brave)

zbMATH Keywords

efficient algorithmsauxiliary specificationtransformation synthesis

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10) Algorithms in computer science (68W99)

Recommendations

• Formalized program specifications and transformation synthesis
• scientific article; zbMATH DE number 3936509
• scientific article; zbMATH DE number 3845032
• The automated transformation of abstract specifications of numerical algorithms into efficient array processor implementations
• Improved method of synthesis of an automaton from its specification in the language \(L\)

Cites work

• Variations on the Common Subexpression Problem

Cited in

(2)

• Transformation of algorithms written in the form of composition schemes
• Transformational derivation of an improved alias analysis algorithm

This page was built for publication: Transformation synthesis of efficient algorithms with auxiliary specifications

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