John Hannan

According to our database1, John Hannan authored at least 22 papers between 1988 and 2004.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2004
Energy-Efficient Scheduling Algorithms of Object Retrieval on Indexed Parallel Broadcast Channels.
Proceedings of the 33rd International Conference on Parallel Processing (ICPP 2004), 2004

2003
Specification and correctness of lambda lifting.
J. Funct. Program., 2003

2001
On Extracting Static Semantics.
Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

Type Systems for Useless-Variable Elimination.
Proceedings of the Programs as Data Objects, Second Symposium, 2001

2000
Higher-Order UnCurrying.
High. Order Symb. Comput., 2000

1998
A Type-Based Escape Analysis for Functional Languages.
J. Funct. Program., 1998

Program Analysis in Lambda-Prolog.
Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

Higher-Order Arity Raising.
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1995
A Type-based Analysis for Stack Allocation in Functional Languages
Proceedings of the Static Analysis, 1995

1994
Operational Semantics-Directed Compilers and Machine Architectures.
ACM Trans. Program. Lang. Syst., 1994

1993
Extended Natural Semantics.
J. Funct. Program., 1993

Searching For Semantics.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1993

1992
From Operational Semantics for Abstract Machines.
Math. Struct. Comput. Sci., 1992

Compiler Verification in LF
Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

1991
Staging Transformations for Abstract Machines.
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

Making Abstract Machines Less Abstract.
Proceedings of the Functional Programming Languages and Computer Architecture, 1991

Implementing lambda-Calculus Reduction Strategies in Extended Logic Programming Languages.
Proceedings of the Extensions of Logic Programming, Second International Workshop, 1991

1990
From Operational Semantics to Abstract Machines: Preliminary Results.
Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990

1989
Deriving Mixed Evaluation from Standard Evaluation for a Simple Functional Language.
Proceedings of the Mathematics of Program Construction, 1989

1988
A Meta-Logic for Functional Programming.
Proceedings of the Meta-Programming in Logic Programming, 1988

Uses of Higher-Order Unification for Implementing Program Transformers.
Proceedings of the Logic Programming, 1988

Lambda-Prolog: An Extended Logic Programming Language.
Proceedings of the 9th International Conference on Automated Deduction, 1988


  Loading...