Applications of Structural Synthesis of Programs

Authors:
Enn Tyugu;Mihhail Matskin;Jaan Penjam
Affiliations:
-;-;-
Venue:
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Year:
1999

Citing 8
Cited 1

Propositional logic programming

Machine intelligence 12
Partial structural synthesis of programs

Fundamenta Informaticae
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems

Automated Software Engineering
AMPHION: Automatic Programming for Scientific Subroutine Libraries

ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
Steam-Boiler Control Specification Problem

Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT)

Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
Specware: Formal Support for Composing Software

MPC '95 Mathematics of Program Construction
Deductive Composition of Astronomical Software from Subroutine Libraries

CADE-12 Proceedings of the 12th International Conference on Automated Deduction

CoCoViLa as a multifunctional simulation platform

Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques

Quantified Score

Hi-index	0.00

Visualization

Abstract

This is an experience report on the automatic and hidden usage of program synthesis in several application domains. The structural synthesis of programs has been implemented in an object-oriented programming environment NUT and used for development of simulation software, engineering calculations software, implementing a benchmark for safety critical systems and development of highly interactive visual modeling of radar coverage of landscape.