Compiler Design And Program Analysis

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Compiler Design And Program Analysis.

• Static single-assignment form — A compiler intermediate representation in which every variable name has exactly one definition and phi functions merge values from alternative control-flow predecessors.