Douglas J. Howe

According to our database, Douglas J. Howe authored at least 27 papers between 1986 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Higher-Order Abstract Syntax in Isabelle/HOL.

Douglas J. Howe

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

2009

Higher-order abstract syntax in classical higher-order logic.

Douglas J. Howe

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2009

2003

An approach to formal verication of real time concurrent Ada programs.

Douglas J. Howe, Stephen Michell

Proceedings of the 12th International Workshop on Real-Time Ada, 2003

2001

Electricity Deregulation: It's New Bonanza.

Douglas J. Howe, James E. Cuccaro

Inf. Syst. Manag., 2001

1999

Interactive Theorem Proving Using Type Theory.

Douglas J. Howe

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems.

Amy P. Felty, Douglas J. Howe, Abhik Roychoudhury

Proceedings of the Automated Deduction, 1999

1998

A Type Annotation Scheme for Nuprl.

Douglas J. Howe

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

Toward Sharing Libraries of Mathematics between Theorem Provers.

Douglas J. Howe

Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998

Protocol Verification in Nuprl.

Amy P. Felty, Douglas J. Howe, Frank A. Stomp

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Hybrid Interactive Theorem Proving Using Nuprl and HOL.

Amy P. Felty, Douglas J. Howe

Proceedings of the Automated Deduction, 1997

1996

Proving Congruence of Bisimulation in Functional Programming Languages.

Douglas J. Howe

Inf. Comput., 1996

Importing Mathematics from HOL into Nuprl.

Douglas J. Howe

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

Semantic Foundations for Embedding HOL in Nuprl.

Douglas J. Howe

Proceedings of the Algebraic Methodology and Software Technology, 1996

1994

An Operational Approach to Combining Classical Set Theory and Functional Programming Languages.

Douglas J. Howe, Scott D. Stoller

Proceedings of the Theoretical Aspects of Computer Software, 1994

Generalization and Reuse of Tactic Proofs.

Amy P. Felty, Douglas J. Howe

Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

Tactic Theorem Proving with Refinement-Tree Proofs and Metavariables.

Amy P. Felty, Douglas J. Howe

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

Reasoning About Functional Programs in Nuprl.

Douglas J. Howe

Proceedings of the Functional Programming, 1993

1991

Some Normalization Properties of Martin-Löf's Type Theory, and Applications.

David A. Basin, Douglas J. Howe

Proceedings of the Theoretical Aspects of Computer Software, 1991

On Computational Open-Endedness in Martin-Löf's Type Theory

Douglas J. Howe

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

Implementing Constructive Real Analysis: Preliminary Report.

Jawahar Chirimar, Douglas J. Howe

Proceedings of the Constructivity in Computer Science, 1991

1990

The Semantics of Reflected Proof

Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William E. Aitken

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

1989

Equality In Lazy Computation Systems

Douglas J. Howe

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

1988

Computational Metatheory in Nuprl.

Douglas J. Howe

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

Automating Reasoning in an Implementation of Constructive Type Theory.

Douglas J. Howe

PhD thesis, 1987

The Computational Behaviour of Girard's Paradox

Douglas J. Howe

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1986

Implementing Number Theory: An Experiment with Nuprl.

Douglas J. Howe

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

Implementing mathematics with the Nuprl proof development system.

Robert L. Constable, Stuart F. Allen, Mark Bromley, Rance Cleaveland, J. F. Cremer, Robert Harper, Douglas J. Howe, Todd B. Knoblock, Nax Paul Mendler, Prakash Panangaden, James T. Sasaki, Scott F. Smith

Prentice Hall, ISBN: 978-0-13-451832-9, 1986