Semantics (computer science)

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (30)

Page 3 of 3

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.

Lambda Calculus: Syntax and Abstractions

Introduces terms, abstractions, applications, and values in the lambda calculus.

Operational Semantics: Amyli Language

Explores operational semantics and inductively defined relations in the Amyli language.

Lambda Calculus: Operational Semantics and Evaluation Strategies

Covers operational semantics and evaluation strategies in lambda calculus, including redex, alternative evaluation strategies, and Church Booleans.

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.

Reactive Streams: Semantics & Challenges

Introduces Reactive Streams semantics, focusing on back-pressure, flow control, methods as signals, specification, challenges, and interoperability.

Knowledge Representation: Semantics and Data Structures

Explores knowledge representation, data structures, semantics, and the challenges of searching for data on the web.

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.

Variables & Operators

Covers the basics of C programming, including variables, operators, and system-oriented programming, emphasizing differences from Java.

Effective Altruism: AI Safety and Governance

Covers effective altruism in AI safety, focusing on programming semantics and memory management.