1999
DOI: 10.1007/3-540-48119-2_31
|View full text |Cite
|
Sign up to set email alerts
|

Applications of Structural Synthesis of Programs

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.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2000
2000
2020
2020

Publication Types

Select...
3
2

Relationship

1
4

Authors

Journals

citations
Cited by 6 publications
(1 citation statement)
references
References 9 publications
0
1
0
Order By: Relevance
“…This program synthesisstructural synthesis of programs (SSP) [18] is not new, it has been implemented and used in several earlier software tools [12,19]. It uses essentially dataflow for composing a program, like, for instance, Simulink [2] does.…”
Section: Design Principlesmentioning
confidence: 99%
“…This program synthesisstructural synthesis of programs (SSP) [18] is not new, it has been implemented and used in several earlier software tools [12,19]. It uses essentially dataflow for composing a program, like, for instance, Simulink [2] does.…”
Section: Design Principlesmentioning
confidence: 99%