Formalized program specifications and transformation synthesis

DOI10.1007/BF01130094MaRDI QIDQ1899896zbMATH OpenOpenAlexFDO

Authors G. E. Tsejtlin, E. L. Yushchenko

Publication date 2 November 1995

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01130094

zbMATH Keywords

mixed computationprogram visualizationalgebraic programmingalgebraic-grammatical apparatusalgebraic-grammatical synthesiscomputer-aided program synthesisconcretizing programminglogic-grammatical synthesis

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4043304
• A means for the structural synthesis of programs
• scientific article; zbMATH DE number 3911678
• scientific article; zbMATH DE number 4084990
• scientific article; zbMATH DE number 51717

Cites work

• scientific article; zbMATH DE number 3967897 (Why is no real title available?)
• scientific article; zbMATH DE number 3782356 (Why is no real title available?)
• scientific article; zbMATH DE number 3471979 (Why is no real title available?)
• scientific article; zbMATH DE number 3584897 (Why is no real title available?)
• scientific article; zbMATH DE number 1273691 (Why is no real title available?)
• scientific article; zbMATH DE number 5158 (Why is no real title available?)
• A Transformation System for Developing Recursive Programs
• Algebraic-grammatical models of parallel computation
• Can programming be liberated from the von Neumann style?
• Multilevel structured program designs and correctness proving
• The Munich project CIP. Volume I: The wide spectrum language CIP-L

Cited in

(15)

• Program generation in the equivalent transformation computation model using the squeeze method
• scientific article; zbMATH DE number 1748577 (Why is no real title available?)
• Top-down synthesis of divide-and-conquer algorithms
• Program synthesis from formal requirements specifications using APTS
• Logical Aspects of Computational Linguistics
• scientific article; zbMATH DE number 4043304 (Why is no real title available?)
• Formal software specification with refinements and modules of typed graph transformation systems
• From informal requirements to a running program: A case study in algebraic specification and transformational programming
• Integrated tools for design and synthesis of classes of algorithms and programs
• Formal program construction by transformations-computer-aided, intuition-guided programming
• scientific article; zbMATH DE number 51717 (Why is no real title available?)
• Transformation synthesis of efficient algorithms with auxiliary specifications
• Program transformation, symbolic computation and algebraic manipulation. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, November 29--December 1, 1999
• A means for the structural synthesis of programs
• Logic Based Program Synthesis and Transformation

Describes a project that uses

Uses Software

• APS-1
• APS

This page was built for publication: Formalized program specifications and transformation synthesis

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