Items where Author, Editor or other role is "Hanna, Keith"

Group by: Creator's name | Item Type | Date | No Grouping

Number of items: 22.

Hanna, Keith (2002) Interactive Visual Functional Programming. ACM SIGPLAN Notices, 37 (9). pp. 100-112. ISSN 0362-1340. (doi:10.1145/581478.581493) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13713)

Hanna, Keith (2000) Reasoning about analog-level implementations of digital systems. Formal Methods in System Design, 16 (2). pp. 127-158. ISSN 0925-9856. (doi:10.1023/A:1008791128550) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:16185)

Hanna, Keith (1998) Reasoning about imperfect digital systems. In: Moller, Bernhard Moller and Tucker, John V, eds. Prospects for Hardware Foundations ESPRIT Working Group 8533 NADA. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 333-355. ISBN 978-3-540-65461-2. E-ISBN 978-3-540-49254-2. (doi:10.1007/3-540-49254-2_10) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:17797)

Hanna, Keith (1998) Automatic Verification of Mixed-Level Logic Circuits. In: Formal Methods in Computer-Aided Design. (doi:10.1007/3-540-49519-3_10) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21573)

Hanna, Keith and Howells, Gareth (1994) Parallel Theorem Proving. In: Runciman, Colin and Wakeling, David, eds. Applications of Functional Programming. UCL Press, pp. 221-235. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21151)

Hanna, Keith and Howells, Gareth (1994) The Veritas Proof Assistant. In: Runciman, Colin and Wakeling, David, eds. Applications of Functional Programming. UCL Press, pp. 125-204. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21153)

Dent, Alan and Hanna, Keith (1993) Reasoning about array structures using a dependently typed logic. In: Agnew, David and Claesen, Luc J. M. and Camposano, Raul, eds. IFIP transactions a-computer science and technology. North Holland, pp. 207-224. ISBN 0-444-81641-0. (doi:10.1016/B978-0-444-81641-2.50022-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20872)

Hanna, Keith, Daeche, Neil (1993) Strongly-Typed Theory of Structures and Behaviours. In: Correct Hardware Design and Verification Methods. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21085)

Hanna, Keith and Daeche, Neil and Howells, Gareth (1992) Implementation of the Veritas Design Logic. In: International Conference On Theorem Provers in Circuit Design : Theory, Practice And Experience. IFIP Transactions A-Computer Science and Technology, 10 . Elsevier Science, Nijmegen, Netherlands, pp. 77-94. ISBN 0-444-89686-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:22608)

Hanna, Keith, Daeche, Neil (1992) Dependent Types and Formal Synthesis. Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences., 339 (1652). pp. 121-135. ISSN 0261-0523. (doi:10.1098/rsta.1992.0029) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:22604)

Hanna, Keith, Daeche, Neil (1992) The Veritas Design Logic - a Users View. IFIP Transactions A-Computer Science And Technology, 10 . pp. 301-310. ISSN 0926-5473. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:22503)

Hanna, Keith, Daeche, Neil (1992) The Veritas Design Logic - a Users View. In: International Conf on Theorem Provers in Circuit Design : Theory, Practice and Experience, June 22-24, 1992, Nijmegen, Netherlands. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:22605)

Hanna, Keith, Daeche, Neil (1992) The Veritas Design Logic; a User''s View. In: Proc. Theorem Provers in Circuit Design. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21015)

Hanna, Keith, Daeche, Neil, Longley, Mark (1990) Specification and Verification using Dependent Types. IEEE Transactions Software Engineering, SE-16 (9). pp. 949-964. (doi:10.1109/32.58783) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20966)

Hanna, Keith, Daeche, Neil, Longley, Mark (1989) Formal Synthesis of Digital Systems. In: Proc IFIP Intnl. Workshop on Applied Formal Methods for Correct VLSI Design. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20940)

Hanna, Keith, Daeche, Neil, Longley, Mark (1989) Veritas: A Specification Language based on Type Theory. In: Proc. Workshop on Hardware Specification, Verification and Synthesis, Mathematical Aspects. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20939)

Hanna, Keith, Daeche, Neil (1987) An Algebraic Approach to Computational Logic. In: Proc Workshop on Programming Logic. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20927)

Hanna, Keith, Daeche, Neil (1987) Specification and Verification of Digital Systems. In: Proc Conf on Logic and its Application to Computer Science. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20924)

Hanna, Keith, Daeche, Neil (1986) Specification and Verification of Digital Systems using Higher-Order Logic. Proc. IEE, Part E, . pp. 242-254. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20916)

Hanna, Keith, Daeche, Neil (1986) Purely Functional Implementation of a Logic. In: Proc. 8th Intnl. Conf. on Automated Deduction. (doi:10.1007/3-540-16780-3_124) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20914)

Hanna, Keith, Daeche, Neil (1986) Specification and Verification using Higher-Order Logic: A Case Study. In: Formal Aspects of VLSI Design. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20913)

Hanna, Keith, Daeche, Neil (1985) Specification and Verification using Higher-Order Logic. In: Computer Hardware Description Languages and their Applications. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20907)

This list was generated on Thu Apr 2 20:23:55 2026 BST.