Skip to main content
Graph
Search
fr
|
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Loop Semantics Example
Graph Chatbot
Related lectures (30)
Previous
Page 1 of 3
Next
Music Semantics: Problems and Prospects
Explores music semantics, discussing inferences triggered by different musical elements and proposing a framework for understanding music's meaning.
Relational Semantics of Loops
Explores the relational semantics of loops in programs and the mathematical interpretation of loop structures.
Lambda Calculus and Type Safety: An Overview
Provides an overview of lambda calculus, type safety, and type inference in programming languages.
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.
Hoare Logic: Foundations and Applications
Covers Hoare Logic, its foundations, applications, and significance in program verification.
An Introduction to Iris: Higher-Order Concurrent Separation Logic
Introduces Iris, a logical framework for reasoning about safety and correctness of concurrent higher-order imperative programs, emphasizing its unique characteristics and applications.
Semantics in Computer Language Processing: Understanding Meaning
Covers the semantics of programming languages, focusing on the Add language and the role of rewriting rules and CK machines in understanding meaning.
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.
Type Rules: Progress and Preservation
Covers Amyli, a tiny functional language, type rules, and soundness.
