John Hannan

From operational semantics to abstract machines

John Hannan, Dale Miller · Mathematical Structures in Computer Science · 1992 · 84 citations · Full text

Computing, Computer Science, Automation +14

Compiler verification in LF

John Hannan, Frank Pfenning · 2003 · 67 citations

Computing, Computer Engineering, Computer Science +17

Identification of trehalose and glycine betaine as compatible solutes in the moderately halophilic sulfate reducing bacterium, Desulfovibrio halophilus

David T. Welsh, Yvonne Lindsay, Pierre Caumette et al. · FEMS Microbiology Letters · 1996 · 50 citations · Full text

Life Sciences, Biochemistry, Microbiology +13

A logical framework for reasoning about logical specifications

John Hannan, Alwen Tiu · 2004 · 48 citations

Humanities, Computer Science, Formal Methods +16

Uses of Higher-Order Unification for Implementing Program Transformers.

John Hannan, Dale Miller · International Conference on Lightning Protection · 1988 · 43 citations

Computing, Computer Science, Programming Languages +10