UNIVERSITY of GLASGOW

Computing at Glasgow University
 

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

2000 1999 1998 1997

2000

The PROSPER Toolkit
Dennis,L.A. Collins,G. Norrish,M. Boulton,R. Slind,K. Robinson,G. Gordon,M.
Melham,T.F. Proceedings, Tools and Algorithms for the Construction and Analysis of Systems: 6th Intl. Conference, TACAS 2000, Berlin. (Graf, S. and Schwartzback, M. Eds.). Lecture Notes in Computer Science, Volume No 1785 pp 78-92 Springer Verlag [More Details].

Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions
K Slind, R Boulton, Proceedings of 1st International Conference on Computational Logic, Lecture Notes in Artificial Intelligence. Volume No. 1861 pp 629-643 Springer [More Details].

Iterative Dialogues and Automated Proof
Slind,K. Boulton,R.J. Studies in Logic and Computation In Frontiers of Combining Systems 2 (Proceedings of the Second International Workshop, FroCoS'98, Amsterdam, The Netherlands) pp 317-335 Research Studies Press [More Details].

1999

System Description: CYNTHIA
Whittle,J. Bundy,A.
Boulton,R.J. Lowe,H. Proceedings of the Sixteenth International Conference on Automated Deduction, CADE-16 (Trento, Italy); Ganzinger, H. (editor), Lecture Notes in Artificial Intelligence pp 388-392 Springer [More Details].

An ML Editor Based on Proofs-as-Programs
Whittle,J. Bundy,A. Boulton,R.J. Lowe,H. Tools and Interfaces, Proceedings of the 14th IEEE International conference on Automated Software Engineering, ASE'99 (Cocoa Beach, Florida, USA) pp 166-173 IEEE Computer Society Press [More Details].

Transparent Optimisation of Rewriting Combinators
Boulton,R.J. Journal of Functional Programming Volume no 9 pp 113-146 [More Details].

1998

An Interface between CLAM and HOL
Boulton,R.J. Slind,K. Bundy,A. Gordon,M. Proceedings of 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs'98, Canberra, Australia. Published as LNCS, (Grundy, J., Newey, M, Eds.). Leture Notes in Computer Science, Volume No. 1479 pp 87-104 Springer [More Details].

Generating Embeddings from Denotational Descriptions
Boulton,R.J. Proceedings of the 11th International Conference on heorem Proving in Higher Order Logics, TPHOLs'98, (Canberra, Australia, September/October 1998); GRUNDY,J.; NEWEY, M. (editors) Lecture Notes in Computer Science pp 67-86 Springer [More Details].

System Description: An Interface between CLAM and HOL
Slind,K. Gordon,M. Boulton,R.J. Bundy,A. Lecture Notes in Artificial Intelligence, volume 1421 Proceedings of the Fifteenth International Conference on Automated Deduction, CADE-15 (Lindau, Germany), Kirchner, C., Kirchner, H., eds. pp 134-138 Springer [More Details].

1997

A Tool to Support Formal Reasoning about Computer Languages
Boulton,R.J. Proceedings of 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACA'97, Enschede, The Netherlands. Published as LNCS, (Brinksma, E., Ed). Volume No. 1217. Lecture Notes in Computer Science Vol. 117 pp 81-95 Springer [More Details].