Journal article icon

Journal article

Program synthesis: challenges and opportunities

Abstract:

Program synthesis is the mechanised construction of software, dubbed “self-writing code”. Synthesis tools relieve the programmer from thinking about how the problem is to be solved; instead, the programmer only provides a description of what is to be achieved. Given a specification of what the program should do, the synthesiser generates an implementation that provably satisfies this specification. From a logical point of view, a program synthesiser is a solver for second-order existential lo...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1098/rsta.2015.0403

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Publisher:
Royal Society Publisher's website
Journal:
Philosophical Transactions A: Mathematical, Physical and Engineering Sciences Journal website
Volume:
375
Issue:
2104
Pages:
1-20
Publication date:
2017-09-04
Acceptance date:
2017-07-13
DOI:
EISSN:
1471-2962
ISSN:
1364-503X
Source identifiers:
707895
Pubs id:
pubs:707895
UUID:
uuid:22f701b6-9d7a-460e-b1bd-60a3dcc5b4aa
Local pid:
pubs:707895
Deposit date:
2017-07-13

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP