Cover Image
QR Code

Software Synthesis Procedures.

Automated synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, software synthesis algorithms should behave in a predictable way: they should succeed for a well-defined class of specificatio...

Full description

Published in:Communications of the ACM Vol. 55; no. 2; pp. 103 - 112
Main Authors: Kuncak, Viktor, Mayer, Mikaël, Piskac, Ruzica, Suter, Philippe
Format: Article
Published: Association for Computing Machinery Feb2012
Subjects:
Computer programming
Computer software
Automatic programming (Computer science)
Programming languages
Data structures
Algorithms
Online Access:View this record in EBSCOhost

Internet

View this record in EBSCOhost