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
Searching for semantics
John Hannan
Computer Science and Engineering
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Searching for semantics'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Equality Theory
75%
Target Language
75%
Axiomatization
50%
Rule-based
50%
Operational Semantics
50%
Equation Set
25%
Type Systems
25%
Language Types
25%
Natural Language Semantics
25%
Semantic Specification
25%
Compiler Correctness
25%
Logic Programming Language
25%
Correctness Criteria
25%
Functional Languages
25%
Correctness Proofs
25%
Search Paradigms
25%
Computer Science
Source Language
100%
Target Language
75%
Compiler Construction
25%