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
Concept
Semantics (computer science)
Graph Chatbot
Related lectures (30)
Login to filter by course
Login to filter by course
Reset
Previous
Page 2 of 3
Next
Polymorphism in Coq: Data Structures and Functions
Covers polymorphism in Coq, focusing on data structures and functions like lists, length, and append.
Operational Semantics: Amyli Language
Covers the Amyli language, including abstract syntax, program representation, and operational semantics.
Concurrency Semantics and Verification
Explores concurrency semantics, recursive functions, loops, interleaving modeling, and interpreter verification.
High-Level Synthesis: Formally Verified Elastic Circuits
Presents the development of a verified high-level synthesis compiler for elastic circuits.
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.
Loop Semantics Example
Explores loop semantics, demonstrating how to systematically compute the meaning of a while loop.
Monotonicity and Semantics of Local Variables
Explores properties of relations, monotonicity, semantics of local variables, and translation in programs.
Arrays: Assignment and Comparison
Covers the semantics of array assignment and comparison in Java.
Regular Expressions: Basics and Applications
Introduces regular expressions, covering language sets, syntax, semantics, and limitations.
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.
