论文信息 - Applications of Structural Synthesis of Programs

Applications of Structural Synthesis of Programs

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.

Enn Tyugu | Mihhail Matskin | Jaan Penjam

[1] Enn Tyugu,et al. Constraint Programming , 1994, NATO ASI Series.

[2] Enn Tyugu,et al. NUTS: a Distributed Object-oriented Platform with High Level Communication Functions , 1998, Comput. Artif. Intell..

[3] Justin C.-I. Chuang. Performance Issues and Algorithms for Dynamic Channel Assignment , 1993, IEEE J. Sel. Areas Commun..

[4] Richard Jüllig,et al. Specware: Formal Support for Composing Software , 1995, MPC.

[5] Mihhail Matskin,et al. Partial Structural Synthesis of Programs , 1997, Fundam. Informaticae.

[6] Enn Tyugu,et al. Higher-Order Functional Constraint Networks , 1993, NATO ASI CP.

[7] Lamont V. Blake. A GUIDE TO BASIC PULSE-RADAR MAXIMUM-RANGE CALCULATION. PART 1. EQUATIONS, DEFINITIONS, AND AIDS TO CALCULATION , 1969 .

[8] Enn Tyugu,et al. Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT) , 1995, Formal Methods for Industrial Applications.

[9] Michael R. Lowry,et al. AMPHION: Automatic Programming for Scientific Subroutine Libraries , 1994, ISMIS.

[10] G. Mints. Propositional logic programming , 1991 .

[11] Egon Börger,et al. Formal methods for industrial applications : specifying and programming the steam boiler control , 1996 .

[12] Michael R. Lowry,et al. Deductive Composition of Astronomical Software from Subroutine Libraries , 1994, CADE.