Travelled to:1 × Canada
1 × Denmark
1 × France
1 × Italy
1 × United Kingdom
7 × USA
Collaborated with:∅ D.Miller P.Hicks A.Fischbach F.Pfenning A.P.Felty E.L.Gunter G.Nadathur A.Scedrov
Talks about:abstract (4) program (3) machin (3) higher (3) order (3) transform (2) languag (2) analysi (2) semant (2) prolog (2)
Person: John Hannan
DBLP: Hannan:John
Contributed to:
2000
1998
1998
1998
1995
1993
1992
19911991
1990
1988
1988Wrote 12 papers:
- SAIG-2000-FischbachH #correctness #specification
- Specification and Correctness of λ Lifting (AF, JH), pp. 108–128.
- ALP-PLILP-1998-Hannan #program analysis #prolog
- Program Analysis in λ-Prolog (JH), pp. 353–354.
- ICFP-1998-HannanH #higher-order
- Higher-Order Arity Raising (JH, PH), pp. 27–38.
- POPL-1998-HannanH #higher-order
- Higher-Order unCurrying (JH, PH), pp. 1–11.
- SAS-1995-Hannan #analysis #functional #stack #type system
- A Type-based Analysis for Stack Allocation in Functional Languages (JH), pp. 172–188.
- PEPM-1993-Hannan #semantics
- Searching For Semantics (JH), pp. 1–12.
- LICS-1992-PfenningH #compilation #verification
- Compiler Verification in LF (JH, FP), pp. 407–418.
- FPCA-1991-Hannan #automaton
- Making Abstract Machines Less Abstract (JH), pp. 618–635.
- PEPM-1991-Hannan #automaton #staging
- Staging Transformations for Abstract Machines (JH), pp. 130–141.
- LFP-1990-HannanM #automaton #semantics
- From Operational Semantics to Abstract Machines: Preliminary Results (JH, DM), pp. 323–332.
- CADE-1988-FeltyGHMNS #logic programming #named #programming language #prolog #λ-calculus
- Lambda-Prolog: An Extended Logic Programming Language (APF, ELG, JH, DM, GN, AS), pp. 754–755.
- JICSCP-1988-HannanM88 #higher-order #implementation #unification
- Uses of Higher-Order Unification for Implementing Program Transformers (JH, DM), pp. 942–959.