Automatic synthesis of computation programs through analysis of variable semantics

DOI10.1007/BF02367757zbMath0837.68072OpenAlexW2051931469MaRDI QIDQ1905210

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

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

Related Items (1)

Automatic synthesis of computation programs through analysis of variable semantics

Cites Work

• Unnamed Item
• 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