Synthesis of procedural and data abstractions

Program synthesis is the process of developing a computer program automatically from a specification of its desired behavior. In contrast to software development environments that require the user to write program code, automation shifts the responsibility of the user to the specification phase of program development, potentially increasing productivity by permitting the user to concentrate on high-level design issues. In addition, the program verification process, difficult and time-consuming for existing code, may be performed concurrently with the generation of the code.

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2011

Author dc:creator

• Cheng, Betty Hsiao-Chih

Contributors dc:contributor

• Kaplan, Simon M.

• Computer Science

Statement dc:rights

• Copyright 1990 Cheng, Betty Hsiao-Chih

Language dc:language

eng

Identifier

AAI9114198
(UMI)AAI9114198

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/22956