The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

John Hannan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.055secs, Finished in 0.056secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002