John Joseph Hannan

    • 222 Citations
    • 8 h-Index
    1988 …2018

    Research output per year

    If you made any changes in Pure these will be visible here soon.

    Research Output

    • 222 Citations
    • 8 h-Index
    • 12 Conference contribution
    • 12 Article
    • 2 Conference article
    • 1 Chapter
    Filter
    Conference contribution
    Conference contribution

    A type-based analysis for stack allocation in functional languages

    Hannan, J. J., Jan 1 1995, Static Analysis - 2nd International Symposium, SAS 1995, Proceedings. Mycroft, A. (ed.). Springer Verlag, p. 172-188 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 983).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Scopus citations

    Compiler verification in LF

    Hannan, J. J. & Pfenning, F., Jun 1992, Proceedings - Symposium on Logic in Computer Science. Publ by IEEE, p. 407-418 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    42 Scopus citations

    Deriving mixed evaluation from standard evaluation for a simple functional language

    Hannan, J. & Miller, D., Jan 1 1989, Mathematics of Program Construction - 375th Anniversary of the Groningen University International Conference, Proceedings. van de Snepscheut, J. L. A. (ed.). Springer Verlag, p. 239-255 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 375 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Scopus citations

    Energy-efficient scheduling algorithms of object retrieval on indexed parallel broadcast channels

    Sun, B., Hurson, A. R. & Hannan, J., Dec 17 2004, Proceedings - 2004 International Conference on Parallel Processing, ICPP 2004. Eigenmann, R. (ed.). p. 440-447 8 p. (Proceedings of the International Conference on Parallel Processing).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    8 Scopus citations

    From operational semantics to abstract machines. Preliminary results

    Hannan, J. & Miller, D., Jan 1 1990, Proc 1990 ACM Conf LISP Funct Program. Publ by ACM, p. 323-332 10 p. (Proc 1990 ACM Conf LISP Funct Program).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    18 Scopus citations

    Implementing λ-calculus reduction strategies in extended logic programming languages

    Hannan, J., Jan 1 1992, Extensions of Logic Programming - 2nd International Workshop, ELP 1991, Proceedings. Eriksson, L-H., Hallnas, L. & Schroeder-Heister, P. (eds.). Springer Verlag, p. 193-219 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 596 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations

    Making abstract machines less abstract

    Hannan, J. J., Jan 1 1991, Functional Programming Languages and Computer Architecture - 5th ACM Conference, Proceedings. Hughes, J. (ed.). Springer Verlag, p. 618-635 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 523 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    10 Scopus citations

    Program analysis in λprolog

    Hannan, J. J., Jan 1 1998, Principles of Declarative Programming - 10th International Symposium, PLILP 1998 with 6th International Conference, ALP 1998, Proceedings. Meinke, K., Glaser, H. & Palamidessi, C. (eds.). Springer Verlag, p. 353-354 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1490).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Searching for semantics

    Hannan, J. J., 1993, Proc ACM SIGPLAN Symp Partial Eval Semantics Based Program Manipulation. Anon (ed.). Publ by ACM, p. 1-12 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Specification and Correctness of Lambda Lifting?

    Fischbach, A. & Hannan, J., Jan 1 2000, Semantics, Applications and Implementation of Program Generation - International Workshop, SAIG 2000, Proceedings. Taha, W. (ed.). Springer Verlag, p. 108-128 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1924).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Scopus citations

    Staging transformations for abstract machines

    Hannan, J. J., May 1 1991, Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation. Association for Computing Machinery, p. 130-141 12 p. (Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    λProlog: An extended logic programming language

    Felty, A., Gunter, E., Hannan, J., Miller, D., Nadathur, G. & Scedrov, A., Jan 1 1988, 9th International Conference on Automated Deduction, Proceedings. Lusk, E. & Overbeek, R. (eds.). Springer Verlag, p. 754-755 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 310 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations