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
Graph Chatbot
Related lectures (29)
Login to filter by course
Login to filter by course
Reset
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.
High-Level Synthesis: Formally Verified Elastic Circuits
Presents the development of a verified high-level synthesis compiler for elastic circuits.
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.
Using Enums: Coding Information with Constants
Covers the use of the enum keyword to define integer constants and improve code readability in programming.
Introduction to Natural Language Processing
Introduces the basics of Natural Language Processing, covering challenges, application domains, and linguistic processing levels.
Effective Altruism: AI Safety and Governance
Covers effective altruism in AI safety, focusing on programming semantics and memory management.
Reactive Streams: Semantics & Challenges
Introduces Reactive Streams semantics, focusing on back-pressure, flow control, methods as signals, specification, challenges, and interoperability.
Variables & Operators
Covers the basics of C programming, including variables, operators, and system-oriented programming, emphasizing differences from Java.
Simply Typed Lambda Calculus: Foundations and Properties
Covers the simply typed lambda calculus, focusing on its syntax, semantics, and type system properties such as progress and preservation.
Previous
Page 2 of 2
Next
