Edinburgh Research Archive

General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving

Files

BundyA_General Techniques.pdf (1.33 MB)

Item Status

Embargo End Date

Date

1993

Authors

Abstract

URI

http://hdl.handle.net/1842/4531

This item appears in the following Collection(s)

Informatics Publications