Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
Geometry of Synthesis III: Resource Management Through Type Inference
Dan Ghica
, A Smith
Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
18
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Geometry of Synthesis III: Resource Management Through Type Inference'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Resource Management
100%
Concurrency
100%
Type Inference
100%
Type Systems
50%
Compiler
50%
Semantic Model
50%
Algol
50%
Game Semantics
50%
Affine
50%
Asynchronous Circuits
50%
Syntactic Control of Interference
50%
Non-sequential
25%
Finite State
25%
Intermediate Type
25%
Correctness Proofs
25%
Dual Benefits
25%
Sequential Contexts
25%
Circuit Representation
25%
Race Condition
25%
Shared Memory Concurrency
25%
Serialization
25%
Digital Circuits
25%
High-level Programming Languages
25%
Program Transformation
25%
Computer Science
Concurrency
100%
Type Inference
100%
Syntactics
80%
Type Systems
40%
Asynchronous Circuit
40%
Independent Component Analysis
20%
Correctness Proofs
20%
High-Level Programming Language
20%
Program Transformation
20%
Race Condition
20%
Shared Memories
20%
Intermediate Type
20%
Digital Circuit
20%