Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,310 papers from all fields of science
Search
Sign In
Create Free Account
Structural synthesis of programs
Structural synthesis of programs (SSP) is a special form of (automatic) program synthesis that is based on propositional calculus. More precisely, it…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Andrey Ershov
Formal system
Integrated development environment
Intuitionistic logic
Expand
Broader (2)
Logic programming
Software engineering
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2006
2006
Preconditions for Structural Synthesis of Programs
V. Kotkas
Ershov Memorial Conference
2006
Corpus ID: 6443934
The current paper presents an extension to the logical language used in Structural Synthesis of Programs (SSP) and describes a…
Expand
2002
2002
Implementing Extended Structural Synthesis of Programs
S. Lämmermann
,
E. Tyugu
2002
Corpus ID: 2254914
We discuss logic and specification language of a program synthesizer for Java intended for dynamic synthesis of services. We…
Expand
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
S. Lämmermann
2002
Corpus ID: 60385402
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires…
Expand
2001
2001
Strategies of Structural Synthesis of Programs and its Extensions
M. Matskin
,
E. Tyugu
Computers and artificial intelligence
2001
Corpus ID: 14988781
Proof search for the structural synthesis of programs (SSP) - a deductive program synthesis method which is suited for…
Expand
1999
1999
Applications of Structural Synthesis of Programs
E. Tyugu
,
M. Matskin
,
J. Penjam
World Congress on Formal Methods
1999
Corpus ID: 20772422
This is an experience report on the automatic and hidden usage of program synthesis in several application domains. The…
Expand
1997
1997
Strategies of structural synthesis of programs
M. Matskin
,
E. Tyugu
Proceedings 12th IEEE International Conference…
1997
Corpus ID: 2383276
Strategies of the structural synthesis of programs (SSP) of a deductive program synthesis method which is suited for…
Expand
1996
1996
Partial Deduction in the Framework of Structural Synthesis of Programs
M. Matskin
,
J. Komorowski
,
J. Krogstie
International Workshop/Symposium on Logic-based…
1996
Corpus ID: 5697493
The notion of partial deduction known from logic programming is defined in the framework of Structural Synthesis of Programs (SSP…
Expand
1994
1994
Extensions of Structural Synthesis of Programs
Tarmo Uustalu
1994
Corpus ID: 14685893
Structural synthesis of programs (SSP) is an approach to deductive synthesis of functional programs using types as speciications…
Expand
1994
1994
Structural Synthesis of Programs UsingRegular Data StructuresMait HarfDept
M. Harf
1994
Corpus ID: 14692822
This paper discusses a speciic feature of structural synthesis of programs. Using regular data structures enables to optimize the…
Expand
1979
1979
The structural synthesis of programs
E. Tyugu
Algorithms in Modern Mathematics and Computer…
1979
Corpus ID: 10088923
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE