John Joseph Hannan – Grants & Projects — Penn State

View Scopus Profile

h-index

Research activity per year

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

2 Finished

2 results

Finished
Deductive Systems and Optimizing Compilers for Higher-Order Languages
Hannan, J. J.
National Science Foundation
8/15/99 → 7/31/01
Project: Research project
CAREER: Specification and Verification of Compiler Algorithms
Hannan, J. J.
National Science Foundation
5/1/95 → 4/30/98
Project: Research project