Formalized program specifications and transformation synthesis

DOI10.1007/BF01130094zbMath0833.68081OpenAlexW1964376144MaRDI QIDQ1899896

E. L. Yushchenko, G. E. Tsejtlin

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

program visualizationmixed computationalgebraic programmingalgebraic-grammatical apparatusalgebraic-grammatical synthesiscomputer-aided program synthesisconcretizing programminglogic-grammatical synthesis

Mathematics Subject Classification ID

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

Uses Software

• APS-1
• APS

Cites Work

• The Munich project CIP. Volume I: The wide spectrum language CIP-L
• Algebraic-grammatical models of parallel computation
• Multilevel structured program designs and correctness proving
• A Transformation System for Developing Recursive Programs
• Can programming be liberated from the von Neumann style?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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