Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 223,651,660 papers from all fields of science
Search
Sign In
Create Free Account
Program synthesis
Program synthesis is a special form of automatic programming that is most often paired with a technique for formal verification. The goal is to…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
20 relations
AI winter
Algorithm
Artificial intelligence
Automatic programming
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs
Thibaut Balabonski
,
Robin Pelle
,
Lionel Rieg
,
S. Tixeuil
International Conference of Distributed Computing…
2018
Corpus ID: 3085992
Swarms of mobile robots recently attracted the focus of the Distributed Computing community. One of the fundamental problems in…
Expand
2013
2013
Program repair without regret
C. V. Essen
,
Barbara Jobstmann
Formal methods in system design
2013
Corpus ID: 8688498
We present a new and flexible approach to repair reactive programs with respect to a specification. The specification is given in…
Expand
2009
2009
Order-Sorted Generalization
M. Alpuente
,
Santiago Escobar
,
J. Meseguer
,
P. Ojeda
Workshop on Functional and Constraint Logic…
2009
Corpus ID: 7101099
2007
2007
Aspect Refinement Ð Unifying AOP and Stepwise Refinement
S. Apel
,
Christian Kästner
,
Thomas Leich
,
G. Saake
Journal of Object Technology
2007
Corpus ID: 13911327
Stepwise refinement (SWR) is fundamental to software engineering. As aspectoriented programming (AOP) is gaining momentum in…
Expand
1997
1997
The Relationship Between Logic Programs and Specifications - The Subset Example Revisited
K. Lau
,
Mario Ornaghi
The Journal of Logic Programming
1997
Corpus ID: 15321164
1997
1997
Model-integrated system development: models, architecture, and process
G. Karsai
,
A. Misra
,
J. Sztipanovits
,
Á. Lédeczi
,
M. Moore
Annual International Computer Software and…
1997
Corpus ID: 65907
Many large software systems are tightly integrated with their physical environments and must be adapted when their environment…
Expand
1990
1990
Generating program animators from programming language semantics
D. Berry
1990
Corpus ID: 38983708
I present a theory of program animation based on formal semantics. This theory shows how an animator for a language can be…
Expand
1989
1989
Inductive inference with bounded number of mind changes
Mahendran Velauthapillai
Annual Conference Computational Learning Theory
1989
Corpus ID: 7295765
1983
1983
An Automatic Algorithm Designer: An Initial Implementation
E. Kant
,
A. Newell
AAAI Conference on Artificial Intelligence
1983
Corpus ID: 16116046
This paper outlines a specification for an algorithm-design system (based on previous work involving protocol analysis) and…
Expand
1977
1977
A Summary of the PSI Program Synthesis System
C. Green
International Joint Conference on Artificial…
1977
Corpus ID: 26263841
This paper describes the current status of the PSI program synthesis system. It allows program specification dialogues using…
Expand
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