Skip to main navigation
Skip to search
Skip to main content
Princeton University Home
Help & FAQ
Home
Profiles
Research units
Facilities
Projects
Research output
Press/Media
Search by expertise, name or affiliation
Optimisation Validation
David Aspinall
, Lennart Beringer
, Alberto Momigliano
Research output
:
Contribution to journal
›
Article
›
peer-review
14
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Optimisation Validation'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Bytecode
50%
Logic Programming
50%
Operational Semantics
100%
Optimizing Compiler
50%
Keyphrases
Semantic Preserving
50%