Formalized program specifications and transformation synthesis
type: Item
instance of: scholarly article
title: Formalized program specifications and transformation synthesis
zbMATH Open document ID: 0833.68081
DOI: 10.1007/BF01130094
author: G. E. Tsejtlin
author: E. L. Yushchenko
published in: Cybernetics and Systems Analysis
publication date: 1995-11-02T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 803882
zbMATH Keywords: algebraic programming
zbMATH Keywords: algebraic-grammatical synthesis
zbMATH Keywords: logic-grammatical synthesis
zbMATH Keywords: program visualization
zbMATH Keywords: mixed computation
zbMATH Keywords: concretizing programming
zbMATH Keywords: computer-aided program synthesis
zbMATH Keywords: algebraic-grammatical apparatus
describes a project that uses: APS
describes a project that uses: APS-1
MaRDI profile type: Publication
cites work: A Transformation System for Developing Recursive Programs
cites work: The Munich project CIP. Volume I: The wide spectrum language CIP-L
cites work: Q3735063
cites work: Q4237429
cites work: Can programming be liberated from the von Neumann style?
cites work: Q4055582
cites work: Q3960098
cites work: Q4154035
cites work: Q4712899
cites work: Algebraic-grammatical models of parallel computation
cites work: Multilevel structured program designs and correctness proving
full work available at URL: https://doi.org/10.1007/bf01130094
OpenAlex ID: W1964376144
description: scientific article; zbMATH DE number 803882