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...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 55; no. 2; pp. 103 - 112
Autores principales:	Kuncak, Viktor, Mayer, Mikaël, Piskac, Ruzica, Suter, Philippe
Formato:	Artículo
Publicado:	Association for Computing Machinery Feb2012
Materias:	Computer programming Computer software Automatic programming (Computer science) Programming languages Data structures Algorithms
Acceso en línea:	Ver este registro en EBSCOhost