Static Semantics

Dynamic semantics

Dynamic semantics is a framework in logic and natural language semantics that treats the meaning of a sentence as its ability to update a context. It maps sentences to functions called context change potentials, which take an input context and return an output context. It was originally developed to model anaphora but has since been applied to many other phenomena.

1 courses cover this concept

15-411 Compiler Design

Carnegie Mellon University

Fall 2020

Comprehensive study of compiler design and implementation, examining interaction between language design and runtime organization. Topics include program analysis, code generation, optimization, memory management.

No concepts data

+ 21 more concepts