Douglas J. Howe

Publication Activity (10 Years)

Years Active: 1986-2010
Publications (10 Years): 0

Publications

Douglas J. Howe
Higher-Order Abstract Syntax in Isabelle/HOL. ITP (2010)
Douglas J. Howe
Higher-order abstract syntax in classical higher-order logic. LFMTP (2009)
Douglas J. Howe, Stephen Michell
An approach to formal verication of real time concurrent Ada programs. IRTAW (2003)
Douglas J. Howe, James E. Cuccaro
Electricity Deregulation: It's New Bonanza. Inf. Syst. Manag. 18 (3) (2001)
Douglas J. Howe
Interactive Theorem Proving Using Type Theory. CSL (1999)
Amy P. Felty, Douglas J. Howe, Abhik Roychoudhury
Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems. CADE (1999)
Douglas J. Howe
Toward Sharing Libraries of Mathematics between Theorem Provers. FroCoS (1998)
Amy P. Felty, Douglas J. Howe, Frank A. Stomp
Protocol Verification in Nuprl. CAV (1998)
Douglas J. Howe
A Type Annotation Scheme for Nuprl. TPHOLs (1998)
Amy P. Felty, Douglas J. Howe
Hybrid Interactive Theorem Proving Using Nuprl and HOL. CADE (1997)
Douglas J. Howe
Proving Congruence of Bisimulation in Functional Programming Languages. Inf. Comput. 124 (2) (1996)
Douglas J. Howe
Importing Mathematics from HOL into Nuprl. TPHOLs (1996)
Douglas J. Howe
Semantic Foundations for Embedding HOL in Nuprl. AMAST (1996)
Amy P. Felty, Douglas J. Howe
Generalization and Reuse of Tactic Proofs. LPAR (1994)
Amy P. Felty, Douglas J. Howe
Tactic Theorem Proving with Refinement-Tree Proofs and Metavariables. CADE (1994)
Douglas J. Howe, Scott D. Stoller
An Operational Approach to Combining Classical Set Theory and Functional Programming Languages. TACS (1994)
Douglas J. Howe
Reasoning About Functional Programs in Nuprl. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Jawahar Chirimar, Douglas J. Howe
Implementing Constructive Real Analysis: Preliminary Report. Constructivity in Computer Science (1991)
David A. Basin, Douglas J. Howe
Some Normalization Properties of Martin-Löf's Type Theory, and Applications. TACS (1991)
Douglas J. Howe
On Computational Open-Endedness in Martin-Löf's Type Theory LICS (1991)
Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William E. Aitken
The Semantics of Reflected Proof LICS (1990)
Douglas J. Howe
Equality In Lazy Computation Systems LICS (1989)
Douglas J. Howe
Computational Metatheory in Nuprl. CADE (1988)
Douglas J. Howe
The Computational Behaviour of Girard's Paradox LICS (1987)
Douglas J. Howe
Implementing Number Theory: An Experiment with Nuprl. CADE (1986)