• ANOVA

  • Abstract Compilation

  • Abstract Interpretation

  • Abstract Semantics

  • Abstract Transformer

  • Abstract Type

  • Abstract reduction system

  • Accelerator Wall

  • Acceptance Tests

  • Adaptive Optimization

  • Affect Heuristics

  • Agile Principles

  • Algebraic Lattice

  • Algorithm Engineering

  • Andersen's Points-to analysis

  • Anti-Symmetric Property

  • Anticipable

  • Applicative Features

  • Arity

  • Array Bounds Check Optimization

  • Array SSA

  • Automated Theorem Prover

  • Automatic Object Inlining

  • Availability Heuristic

  • Basic Block

  • Basic Block Neutering

  • Basic Induction Variable

  • Benchmark

  • Build Environment

  • Bypass Processing Technique

  • Bytecode VM

  • Call Chain

  • Call Graph

  • Calling Context

  • Capacity Miss

  • Capture

  • Certified Program

  • Class Test

  • Class hierarchy

  • Cloning

  • Closed World Assumption

  • Cold Miss

  • Commutativity Analysis

  • Compilation Order

  • Compilation Order

  • Complete Lattice

  • Concrete Type

  • Confidentiality

  • Conflict Miss

  • Confluence

  • Container

  • Context Sensitive Control Flow Graph

  • Context-insensitive edge profiling

  • Context-sensitivity

  • Continous integration

  • Contrapositive

  • Control Flow Graph

  • Control Flow Problem

  • Destructive Interference

  • Direct Devirtualization

  • Heap Reachability

  • Load Sinking

  • Maximal Fixed Point

  • Meet Over All Paths Solution

  • Meet Over All Valid Paths

  • Normal form

  • Partial SSA form

  • Points-to Analysis

  • Pushdown System

  • Register Spilling

  • Satisfiability

  • Shape

  • Termination

  • Virtual Registers

  • Warp