Formalized program specifications and transformation synthesis
DOI10.1007/BF01130094zbMATH Open0833.68081OpenAlexW1964376144MaRDI QIDQ1899896FDOQ1899896
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
Recommendations
mixed computationprogram visualizationalgebraic programmingalgebraic-grammatical apparatusalgebraic-grammatical synthesiscomputer-aided program synthesisconcretizing programminglogic-grammatical synthesis
General topics in the theory of software (68N01) Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- The Munich project CIP. Volume I: The wide spectrum language CIP-L
- A Transformation System for Developing Recursive Programs
- Title not available (Why is that?)
- Can programming be liberated from the von Neumann style?
- Title not available (Why is that?)
- Title not available (Why is that?)
- Multilevel structured program designs and correctness proving
- Algebraic-grammatical models of parallel computation
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (15)
- A means for the structural synthesis of programs
- Logic Based Program Synthesis and Transformation
- 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
- Top-down synthesis of divide-and-conquer algorithms
- Title not available (Why is that?)
- Transformation synthesis of efficient algorithms with auxiliary specifications
- From informal requirements to a running program: A case study in algebraic specification and transformational programming
- Title not available (Why is that?)
- Program generation in the equivalent transformation computation model using the squeeze method
- Logical Aspects of Computational Linguistics
- Title not available (Why is that?)
- Integrated tools for design and synthesis of classes of algorithms and programs
- Program synthesis from formal requirements specifications using APTS
- Formal program construction by transformations-computer-aided, intuition-guided programming
- Formal software specification with refinements and modules of typed graph transformation systems
Uses Software
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)
