- ASTAbstract Syntax Tree
- árvore que representa estrutura sintática de código após parser; AST descarta detalhes triviais (parens, whitespace) que CST preserva.
- CASCompare-And-Swap
- operação atômica usada em algoritmos lock-free; atualiza valor só se atual = esperado.
- CRDTConflict-free Replicated Data Type
- estrutura de dados que garante convergência em sistemas distribuídos sem coordenação central.
- DAGDirected Acyclic Graph
- grafo direcionado sem ciclos. Modelagem comum: dependências, pipelines.
- GCGarbage Collection
- gerenciamento automático de memória. Estratégias: refcount, mark-sweep, generational, concurrent.
- Heapdata structure
- árvore parcialmente ordenada. Min-heap: pai ≤ filhos. Base de priority queue.
- HMHindley-Milner
- sistema de tipos com inferência principal sem anotação. Base de OCaml, Haskell.
- HNSWHierarchical Navigable Small World
- grafos em camadas pra ANN search; busca log-N.
- JITJust-In-Time
- compilação durante execução baseada em profile (hot path). V8 TurboFan, JVM C2.
- MVCCMulti-Version Concurrency Control
- DB mantém múltiplas versões de rows pra leitores não bloquearem writers.
- NUMANon-Uniform Memory Access
- arquitetura multi-socket onde cada socket tem memory mais próxima; acesso cross-socket é mais lento.
- PCAPrincipal Component Analysis
- redução dimensional via decomposição (SVD).
- PMUPerformance Monitoring Unit
- counters de hardware (cycles, cache misses, branch mispredictions) acessíveis via `perf`.
- SIMDSingle Instruction, Multiple Data
- registers wide processam múltiplos valores; AVX, NEON, SVE.
- SSAStatic Single Assignment
- IR onde cada variável é atribuída uma vez; otimizações ficam triviais.
- TLBTranslation Lookaside Buffer
- cache de virtual→physical address translation. Miss = page table walk.
- WALWrite-Ahead Log
- log persistente antes de aplicar mudança; base de durabilidade e replication.