UNIVERSITY of GLASGOW

Computing at Glasgow University
 

Publications for '- no address book entry -' ordered by Year. (4)

2003 2001 1997

2003

A Programming Logic for Java Bytecode Programs
Quigley,C.L. To appear in Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science Springer Verlag [More Details].

Implementation of the General Matings Method in Isabelle/HOL
Quigley,C.L. pp 23 [More Details].

2001

` Proof for Optimization: Programming Logic Support for Java JIT Compilers' in Supplementary Proceedings of 2001 International Conference onTheorem Proving in Higher Order Logics
Quigley,C.L. University of Edinburgh, Division of Informatics, Informatics Research Report EDI-INF-RR-0046 University of Edinburgh [More Details].

1997

`Implementing the General Matings Method in HOL',in Supplementary Proceedings of 1997 International Conference on Theorem Proving in Higher Order Logics
Quigley,C.L. [More Details].