Concepedia

Douglas J. Howe

DJ

9

Publications

644

Citations

9

H-Index

1986

Active since

Affiliations

Cornell University(Current)

Douglas J. Howe is an author at Cornell University specializing in automated reasoning, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsAutomated ReasoningFormal VerificationComputer ScienceProgramming LanguagesVerificationProgram AnalysisReasoningSemantics

Publications per year

1986–2003

9

Publications

9

Proving Congruence of Bisimulation in Functional Programming Languages

Douglas J. Howe · Information and Computation · 1996 · 252 citations

Engineering, Functional Programming Languages, Automated Reasoning +7

Equality in lazy computation systems

Douglas J. Howe · 2003 · 168 citations

Theory Of Computing, Equivalence Relation, Computational Complexity Theory +14

The semantics of reflected proof

Stuart F. Allen, Robert L. Constable, Douglas J. Howe et al. · 2002 · 84 citations

Engineering, Verification, Primitive Inference Rules +17

Automating reasoning in an implementation of constructive type theory

Douglas J. Howe · eCommons (Cornell University) · 1988 · 35 citations · Full text

On computational open-endedness in Martin-Lof's type theory

Douglas J. Howe · 2002 · 30 citations

Engineering, Operational Semantics, Generic Programming +11

Rows per page

1–5 of 9