DocumentCode

2413625

Title

Proof Of Program Transformations

Author

Roxas, Rachel ; Newey, Malcolm

Author_Institution

The Australian National University

fYear

1991

fDate

28-30 Aug. 1991

Firstpage

223

Lastpage

230

Keywords

Automation; Computer bugs; Computer languages; Computer science; Inspection; Refining; Specification languages; Taxonomy; Trademarks; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

HOL Theorem Proving System and Its Applications, 1991., International Workshop on the

Conference_Location

Davis, CA, USA

Print_ISBN

0-8186-2460-4

Type

conf

DOI

10.1109/HOL.1991.596289

Filename

596289