Automatic synthesis of computation programs through analysis of variable semantics

DOI10.1007/BF02367757MaRDI QIDQ1905210zbMATH OpenOpenAlexFDO

Authors A. N. Solomatin

Publication date 16 April 1996

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

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

zbMATH Keywords

computer-aided programming systemsregional programming systemstechnological and economic variables

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3911678
• scientific article; zbMATH DE number 51668
• Debugging tools for a system with automatic program synthesis
• Program Development in Computational Logic
• Synthesis of network structure design programs

Cites work

• scientific article; zbMATH DE number 193850 (Why is no real title available?)
• Automatic synthesis of computation programs through analysis of variable semantics

Cited in

(2)

• Program path functions
• Automatic synthesis of computation programs through analysis of variable semantics

This page was built for publication: Automatic synthesis of computation programs through analysis of variable semantics

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