Lecture

Foundations of Software

Description

This lecture covers the basics of induction, syntax, abstract vs. concrete syntax, inference rules, and operational semantics for Booleans. It also discusses abstract machines, derivation trees, and induction on derivations. The instructor explains the evaluation relation, normal forms, values, and introduces new syntactic forms like numbers.

About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.