Program synthesis: an automationist's view

Program synthesis as defined by the author is the translation from a task specification to the code that can perform that task. The author looks at the range that this can encompass with respect to automation and discusses how the naive view can differ from what is either attainable or desirable. He...

Full description

Bibliographic Details

Published in:	Digest of papers : intellectual leverage pp. 226 - 231
Main Author:	McCartney, R.
Format:	Conference Proceeding
Language:	English
Published:	IEEE Comput. Soc. Press 1989
Subjects:	Automatic programming Automation Computer science Formal specifications Program processors Software design Software maintenance Storms Synthesizers Water
ISBN:	9780818619090, 0818619090
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!