Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

20 relations
AI winterAlgorithmArtificial intelligenceAutomatic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Coordination of Design Contract with Construction Manager-at-Risk Preconstruction Service Contract
A recent NCHRP study found that seven state departments of transportation (DOTs) have some type of experience using construction… 
2007
2007
Aspect Refinement Ð Unifying AOP and Stepwise Refinement
Stepwise refinement (SWR) is fundamental to software engineering. As aspectoriented programming (AOP) is gaining momentum in… 
Review
2001
Review
2001
An Overview of Recent Algorithms for AI Planning
During the past several years, AI planning has made major steps forward in terms of the size and difficulty of problems that can… 
1997
1997
Model-integrated system development: models, architecture, and process
Many large software systems are tightly integrated with their physical environments and must be adapted when their environment… 
1993
1993
Constraint Satisfaction and Constraint Programming: A Brief Lead-In
This paper presents the authors’ vision about the achievements and expected further developments in the paradigm and techniques… 
1990
1990
Generating program animators from programming language semantics
I present a theory of program animation based on formal semantics. This theory shows how an animator for a language can be… 
1989
1989
Inductive inference with bounded number of mind changes
1986
1986
Reasoning with Simplifying Assumptions: A Methodology and Example
Simplifying assumptions are a powerful technique for dealing with complexity, which is used in all branches of science and… 
1983
1983
An Automatic Algorithm Designer: An Initial Implementation
This paper outlines a specification for an algorithm-design system (based on previous work involving protocol analysis) and… 
1977
1977
A Summary of the PSI Program Synthesis System
This paper describes the current status of the PSI program synthesis system. It allows program specification dialogues using… 
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)