Operational semantics

Formal sciences
Theoretical computer science
Programming language theory
Formal semantics

Related lectures (30)

About
Privacy
Disclaimer

Graph Chatbot

Page 2 of 3

Operational Semantics: Amyli Language

Covers the Amyli language, including abstract syntax, program representation, and operational semantics.

Big-step semantics: Defining arithmetic expressions and commands

Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.

Type Checking Lab

Focuses on implementing a type checker for Amy, covering name and type analysis, typing constraints generation, and the importance of type checking in compilation.

Loop Semantics Example

Explores loop semantics, demonstrating how to systematically compute the meaning of a while loop.

Omega Continuity: Galois Connection and AI Recipe

Explores Tarski's fixed point theorem, omega continuity, Galois connection, and abstract interpretation concepts.

High-Level Synthesis: Formally Verified Elastic Circuits

Presents the development of a verified high-level synthesis compiler for elastic circuits.

Concurrency Semantics and Verification

Explores concurrency semantics, recursive functions, loops, interleaving modeling, and interpreter verification.

Monotonicity and Semantics of Local Variables

Explores properties of relations, monotonicity, semantics of local variables, and translation in programs.

Regular Expressions: Basics and Applications

Introduces regular expressions, covering language sets, syntax, semantics, and limitations.

Arrays: Assignment and Comparison

Covers the semantics of array assignment and comparison in Java.