Transformation synthesis of efficient algorithms with auxiliary specifications

DOI10.1007/BF01068689zbMATH Open0644.68043MaRDI QIDQ3787464FDOQ3787464

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

Publication date: 1986

Published in: Cybernetics (Search for Journal in Brave)

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\)

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)

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)