No photo of John Joseph Hannan
Contact Expert

View Scopus Profile

John Joseph Hannan

    Calculated based on number of publications stored in Pure and citations from Scopus
    1988 …2023

    Research activity per year

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

    Search results

    • 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 proceeding › Conference contribution

      9 Scopus citations
    • 2000

      Specification and Correctness of Lambda Lifting?

      Fischbach, A. & Hannan, J., 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 proceeding › Conference contribution

      7 Scopus citations
    • 1998

      Program analysis in λprolog

      Hannan, J., 1998, Principles of Declarative Programming - 10th International Symposium, PLILP 1998 with 6th International Conference, ALP 1998, Proceedings. Palamidessi, C., Glaser, H. & Meinke, K. (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 proceeding › Conference 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 proceeding › Conference contribution

      5 Scopus citations
    • 1993

      Searching for semantics

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

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

      Open Access
    • 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 proceeding › Conference contribution

      43 Scopus citations

    • Implementing λ-calculus reduction strategies in extended logic programming languages

      Hannan, J., 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 proceeding › Conference contribution

      1 Scopus citations
    • 1991

      Making abstract machines less abstract

      Hannan, J., 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 proceeding › Conference contribution

      11 Scopus citations

    • Staging transformations for abstract machines

      Hannan, 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 proceeding › Conference contribution

      Open Access
      1 Scopus citations
    • 1990

      From operational semantics to abstract machines. Preliminary results

      Hannan, J. & Miller, D., 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 proceeding › Conference contribution

      Open Access
      19 Scopus citations
    • 1989

      Deriving mixed evaluation from standard evaluation for a simple functional language

      Hannan, J. & Miller, D., 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 proceeding › Conference contribution

      7 Scopus citations
    • 1988

      λProlog: An extended logic programming language

      Felty, A., Gunter, E., Hannan, J., Miller, D., Nadathur, G. & Scedrov, A., 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 proceeding › Conference contribution

      4 Scopus citations