Algorithmic program synthesis: introduction

Program synthesis is a process of producing an executable program from a specification. Algorithmic synthesis produces the program automatically, without an intervention from an expert. While classical compilation falls under the definition of algorithmic program synthesis, with the source program b...

Full description

Saved in:
Bibliographic Details
Published in:International journal on software tools for technology transfer Vol. 15; no. 5-6; pp. 397 - 411
Main Authors: Bodik, Rastislav, Jobstmann, Barbara
Format: Journal Article
Language:English
Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2013
Springer Nature B.V
Subjects:
Algorithms
Automation
Categories
Computer programs
Computer Science
Introduction
Lists
Searching
Software Engineering
Software Engineering/Programming and Operating Systems
Specifications
Synthesis
Theory of Computation
Transformations
Specifications of Program Correctness
Formal Methods
Controller Synthesis
Program synthesis
ISSN:1433-2779, 1433-2787
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first