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
Category
Formal semantics
Formal sciences
Theoretical computer science
Programming language theory
Formal semantics
Graph Chatbot
Related lectures (23)
Previous
Page 3 of 3
Next
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.
Operational Semantics: Amyli Language
Covers the Amyli language, including abstract syntax, program representation, and operational semantics.
High-Level Synthesis: Formally Verified Elastic Circuits
Presents the development of a verified high-level synthesis compiler for elastic circuits.
