dblp.uni-trier.dewww.uni-trier.de

John Hannan Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2004
25EEBingjun Sun, Ali R. Hurson, John Hannan: Energy-Efficient Scheduling Algorithms of Object Retrieval on Indexed Parallel Broadcast Channels. ICPP 2004: 440-447
2003
24EEAdam Fischbach, John Hannan: Specification and correctness of lambda lifting. J. Funct. Program. 13(3): 509-543 (2003)
2002
23EEJohn Hannan: On Extracting Static Semantics. The Essence of Computation 2002: 157-171
2001
22EEAdam Fischbach, John Hannan: Type Systems for Useless-Variable Elimination. PADO 2001: 25-38
21EEJohn Hannan: On Extracting Static Semantics. Electr. Notes Theor. Comput. Sci. 45: (2001)
2000
20EEAdam Fischbach, John Hannan: Specification and Correctness of Lambda Lifting. SAIG 2000: 108-128
19 John Hannan, Patrick Hicks: Higher-Order UnCurrying. Higher-Order and Symbolic Computation 13(3): 179-216 (2000)
1998
18EEJohn Hannan, Patrick Hicks: Higher-Order Arity Raising. ICFP 1998: 27-38
17EEJohn Hannan: Program Analysis in Lambda-Prolog. PLILP/ALP 1998: 353-354
16EEJohn Hannan, Patrick Hicks: Higher-Order unCurrying. POPL 1998: 1-11
15 John Hannan: A Type-Based Escape Analysis for Functional Languages. J. Funct. Program. 8(3): 239-273 (1998)
1995
14 John Hannan: A Type-based Analysis for Stack Allocation in Functional Languages SAS 1995: 172-188
1994
13EEJohn Hannan: Operational Semantics-Directed Compilers and Machine Architectures. ACM Trans. Program. Lang. Syst. 16(4): 1215-1247 (1994)
1993
12 John Hannan: Searching For Semantics. PEPM 1993: 1-12
11 John Hannan: Extended Natural Semantics. J. Funct. Program. 3(2): 123-152 (1993)
1992
10 John Hannan, Frank Pfenning: Compiler Verification in LF LICS 1992: 407-418
9 John Hannan, Dale Miller: From Operational Semantics for Abstract Machines. Mathematical Structures in Computer Science 2(4): 415-459 (1992)
1991
8EEJohn Hannan: Implementing lambda-Calculus Reduction Strategies in Extended Logic Programming Languages. ELP 1991: 193-219
7 John Hannan: Making Abstract Machines Less Abstract. FPCA 1991: 618-635
6 John Hannan: Staging Transformations for Abstract Machines. PEPM 1991: 130-141
1990
5EEJohn Hannan, Dale Miller: From Operational Semantics to Abstract Machines: Preliminary Results. LISP and Functional Programming 1990: 323-332
1989
4 John Hannan, Dale Miller: Deriving Mixed Evaluation from Standard Evaluation for a Simple Functional Language. MPC 1989: 239-255
1988
3EEAmy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov: Lambda-Prolog: An Extended Logic Programming Language. CADE 1988: 754-755
2 John Hannan, Dale Miller: Uses of Higher-Order Unification for Implementing Program Transformers. ICLP/SLP 1988: 942-959
1 John Hannan, Dale Miller: A Meta-Logic for Functional Programming. META 1988: 453-476

Coauthor Index

1Amy P. Felty [3]
2Adam Fischbach [20] [22] [24]
3Elsa L. Gunter [3]
4Patrick Hicks [16] [18] [19]
5Ali R. Hurson (A. R. Hurson) [25]
6Dale Miller [1] [2] [3] [4] [5] [9]
7Gopalan Nadathur [3]
8Frank Pfenning [10]
9Andre Scedrov [3]
10Bingjun Sun [25]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)