Skip to main navigation
Skip to search
Skip to main content
Penn State Home
Help & FAQ
Home
Researchers
Research output
Research units
Equipment
Grants & Projects
Prizes
Activities
Search by expertise, name or affiliation
On extracting static semantics
John Hannan
Computer Science and Engineering
Research output
:
Contribution to journal
›
Conference article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'On extracting static semantics'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Static Program Analysis
100%
Static Semantics
100%
Consistency Proof
50%
Language Semantics
50%
Keyphrases
Static Semantics
100%
Static Analysis
66%
Natural Language Semantics
33%
Consistency Proof
33%
Dynamic Semantics
33%
Semantic Definition
33%