|
|
Edinburgh Research Archive >
Browsing by Author Burstall, Rod
Showing results 1 to 12 of 12
| Issue Date | Title | Author(s) | Supervisor(s) | | 1982 | Abstract interpretation and optimising transformations for applicative programs | Mycroft, Alan | Burstall, Rod; Milner, Robin |
| 1972 | Automatic Methods of Inductive Inference | Plotkin, Gordon D. | Burstall, Rod; Michie, Donald |
| Jul-2000 | Dependently Typed Functional Programs and their Proofs | McBride, Conor | Burstall, Rod |
| Jul-1995 | Formal Derivation of a Class of Computers | Wang, Li-Guo | Fourman, Michael; Burstall, Rod |
| Jul-1998 | Hoare Logic and VDM: Machine-Checked Soundness and Completeness Proofs | Kleymann, Thomas | Burstall, Rod; Jackson, Paul |
| 1975 | Interactive program verification using virtual programs | Topor, Rodney W. | Burstall, Rod |
| 1976 | Mechanizing Structural Induction | Aubin, Raymond | Milner, Robin; Burstall, Rod; Meltzer, Bernard |
| 1972 | A Semantic Approach to Automatic Program Improvement | Darlington, John | Burstall, Rod |
| 1982 | Semantics, Implementation and Pragmatics of Clear, a Program Specification Language | Sannella, Donald Theodore | Burstall, Rod; Milner, Robin |
| Jul-1995 | The Theory of LEGO | Pollack, Robert | Burstall, Rod |
| Jul-1994 | A Typed Operational Semantics for Type Theory | Goguen, Healfdene | Burstall, Rod; Luo, Zhaohui |
| May-1995 | Universal Structure and a Categorical Framework for Type Theory | Takeyama, Makoto | Burstall, Rod; Power, John |
Showing results 1 to 12 of 12
|
