Computer programming

Related lectures (31)

Page 2 of 4

Covers separate compilation, linking modules, loader role, and makefile usage.

Covers Stochastic Context-Free Grammars, probabilistic parsing, and the estimation of probabilities.

Covers context-free grammars, production rules, automata, syntax analysis, and parsing techniques.

Explores compiler phases and symbol tables' role in mapping variables to declarations.

Explores the project structure for solving WS1S formulas and planned additions.

Covers object-oriented parser combinators in Scala for building parsers, including JSON parsing and testing.

Explores static analysis techniques like AST-based analysis and taint analysis applied to the Amy language.

Explores closure conversion, function hoisting, and dataflow analysis for program optimization.

Explores the challenges and benefits of compiler verification, emphasizing the importance of verifying compilers for critical software.

Covers syntactic parsing, dependency grammar, and graph-based neural network parsing.