Proving the correctness of program transformations in higher order logic
| dc.contributor.author | Roxas, Rachel Edita Onate | en_AU |
| dc.date.accessioned | 2017-12-21T01:17:02Z | |
| dc.date.available | 2017-12-21T01:17:02Z | |
| dc.date.copyright | 1994 | |
| dc.date.issued | 1994 | |
| dc.date.updated | 2017-11-22T23:28:35Z | |
| dc.format.extent | viii, 113 leaves | |
| dc.identifier.other | b1894181 | |
| dc.identifier.uri | http://hdl.handle.net/1885/138517 | |
| dc.language.iso | en | en_AU |
| dc.subject.lcsh | Computer programs Correctness | |
| dc.subject.lcsh | Automatic programming (Computer science) | |
| dc.subject.lcsh | Computer programming | |
| dc.title | Proving the correctness of program transformations in higher order logic | en_AU |
| dc.type | Thesis (PhD) | en_AU |
| dcterms.valid | 1994 | en_AU |
| local.contributor.affiliation | The Australian National University | en_AU |
| local.description.notes | Thesis (Ph.D.)--Australian National University, 1994. This thesis has been made available through exception 200AB to the Copyright Act. | en_AU |
| local.identifier.doi | 10.25911/5d6e4dbc186b8 | |
| local.mintdoi | mint | |
| local.type.degree | Doctor of Philosophy (PhD) | en_AU |
Downloads
Original bundle
1 - 1 of 1
Loading...
- Name:
- b18941813_Roxas_Rachel_Edita_Onate.pdf
- Size:
- 269.76 MB
- Format:
- Adobe Portable Document Format