John Joseph Hannan

    • 221 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

    • 221 Citations
    • 8 h-Index
    • 12 Conference contribution
    • 12 Article
    • 2 Conference article
    • 1 Chapter
    2018
    2 Scopus citations
    2015

    Feasibility study of an attention training application for older adults

    Hill, N. L., Mogle, J., Colancecco, E., Dick, R., Hannan, J. & Lin, F. V., Sep 1 2015, In : International Journal of Older People Nursing. 10, 3, p. 241-249 9 p.

    Research output: Contribution to journalArticle

    5 Scopus citations
    2004

    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
    2003

    Specification and correctness of lambda lifting

    Fischbach, A. & Hannan, J., May 2003, In : Journal of Functional Programming. 13, 3, p. 509-543 35 p.

    Research output: Contribution to journalArticle

    4 Scopus citations
    2002

    On extracting static semantics

    Hannan, J., Dec 1 2002, The Essence of Computation: Complexity, Analysis, Transformation. Mogensen, T., Schmidt, D. & Sudborough, H. (eds.). p. 157-171 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2566 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    2001

    On extracting static semantics

    Hannan, J. J., Jan 1 2001, In : Electronic Notes in Theoretical Computer Science. 45, p. 162-173 12 p.

    Research output: Contribution to journalConference article

    1 Scopus citations
    2000

    Higher-order uncurrying

    Hannan, J. & Hicks, P., Sep 1 2000, In : Higher-Order and Symbolic Computation. 13, 3, p. 179-216 38 p.

    Research output: Contribution to journalArticle

    4 Scopus citations

    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
    1999

    Higher-order arity raising

    Hannan, J. J. & Hicks, P., Jan 1 1999, In : SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 34, 1, p. 27-38 12 p.

    Research output: Contribution to journalArticle

    1 Scopus citations
    1998

    A type-based escape analysis for functional languages

    Hannan, J. J., Jan 1 1998, In : Journal of Functional Programming. 8, 3, p. 239-273 35 p.

    Research output: Contribution to journalArticle

    7 Scopus citations

    Higher-order arity raising

    Hannan, J. J. & Hicks, P., 1998, In : Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP. p. 27-38 12 p.

    Research output: Contribution to journalArticle

    9 Scopus citations

    Higher-order unCurrying

    Hannan, J. & Hicks, P., Jan 1 1998, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 1-10 10 p.

    Research output: Contribution to journalConference article

    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

    1995

    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
    1994

    Operational Semantics-Directed Compilers and Machine Architectures

    Hannan, J., Jan 7 1994, In : ACM Transactions on Programming Languages and Systems (TOPLAS). 16, 4, p. 1215-1247 33 p.

    Research output: Contribution to journalArticle

    8 Scopus citations
    1993

    Extended natural semantics

    Hannan, J. J., Jan 1 1993, In : Journal of Functional Programming. 3, 2, p. 123-152 30 p.

    Research output: Contribution to journalArticle

    15 Scopus citations

    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

    1992

    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

    From operational semantics to abstract machines

    Hannan, J., Dec 1992, In : Mathematical Structures in Computer Science. 2, 4, p. 415-459 45 p.

    Research output: Contribution to journalArticle

    46 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
    1991

    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

    Staging transformations for abstract machines

    Hannan, J., Jan 5 1991, In : ACM SIGPLAN Notices. 26, 9, p. 130-141 12 p.

    Research output: Contribution to journalArticle

    9 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

    1990

    From operational semantics to abstract machines. Preliminary results

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

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

    18 Scopus citations
    1989

    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
    1988

    λ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