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
A theory of indirection via approximation
Aquinas Hobor
, Robert Dockinsy
, Andrew W. Appel
Computer Science
Center for Information Technology Policy (CITP)
Research output
:
Contribution to journal
›
Article
›
peer-review
10
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A theory of indirection via approximation'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Approximation (Algorithm)
100%
Shared Memories
100%
Axiomatization
100%
Order Function
100%
Object Reference
100%
Function Object
100%
Keyphrases
Indirection
100%
Indirect Reference
100%
High-order
25%
Separation Logic
25%
Difficult Problem
25%
Semantic Model
25%
Axiomatization
25%
Construct Modeling
25%
Model Support
25%
Shared Memory
25%
Higher-order Functions
25%
Object Referencing
25%
Building Semantics
25%
Mutexes
25%
Function Object
25%
Order Separation
25%
Reference Memory
25%
Elementary Mathematics
25%
Mathematics
Wide Variety
100%
Mathematics
100%
Higher-Order Function
100%