John Hannan

Publication Activity (10 Years)

Years Active: 1988-2004
Publications (10 Years): 0

Publications

Bingjun Sun, Ali R. Hurson, John Hannan
Energy-Efficient Scheduling Algorithms of Object Retrieval on Indexed Parallel Broadcast Channels. ICPP (2004)
Adam Fischbach, John Hannan
Specification and correctness of lambda lifting. J. Funct. Program. 13 (3) (2003)
John Hannan
On Extracting Static Semantics. The Essence of Computation (2002)
John Hannan
On Extracting Static Semantics. MFPS (2001)
Adam Fischbach, John Hannan
Type Systems for Useless-Variable Elimination. PADO (2001)
John Hannan, Patrick Hicks
Higher-Order UnCurrying. High. Order Symb. Comput. 13 (3) (2000)
Adam Fischbach, John Hannan
Specification and Correctness of Lambda Lifting. SAIG (2000)
John Hannan
A Type-Based Escape Analysis for Functional Languages. J. Funct. Program. 8 (3) (1998)
John Hannan, Patrick Hicks
Higher-Order unCurrying. POPL (1998)
John Hannan, Patrick Hicks
Higher-Order Arity Raising. ICFP (1998)
John Hannan
Program Analysis in Lambda-Prolog. PLILP/ALP (1998)
John Hannan
A Type-based Analysis for Stack Allocation in Functional Languages SAS (1995)
John Hannan
Operational Semantics-Directed Compilers and Machine Architectures. ACM Trans. Program. Lang. Syst. 16 (4) (1994)
John Hannan
Searching For Semantics. PEPM (1993)
John Hannan
Extended Natural Semantics. J. Funct. Program. 3 (2) (1993)
John Hannan, Dale Miller
From Operational Semantics for Abstract Machines. Math. Struct. Comput. Sci. 2 (4) (1992)
John Hannan, Frank Pfenning
Compiler Verification in LF LICS (1992)
John Hannan
Implementing lambda-Calculus Reduction Strategies in Extended Logic Programming Languages. ELP (1991)
John Hannan
Making Abstract Machines Less Abstract. FPCA (1991)
John Hannan
Staging Transformations for Abstract Machines. PEPM (1991)
John Hannan, Dale Miller
From Operational Semantics to Abstract Machines: Preliminary Results. LISP and Functional Programming (1990)
John Hannan, Dale Miller
Deriving Mixed Evaluation from Standard Evaluation for a Simple Functional Language. MPC (1989)
John Hannan, Dale Miller
Uses of Higher-Order Unification for Implementing Program Transformers. ICLP/SLP (1988)
Amy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov
Lambda-Prolog: An Extended Logic Programming Language. CADE (1988)
John Hannan, Dale Miller
A Meta-Logic for Functional Programming. META (1988)