CS-452: Foundations of software

Summary

The course introduces the foundations on which programs and programming languages are built. It introduces syntax, types and semantics as building blocks that together define the properties of a program part or a language. Students will learn how to apply these concepts in their reasoning.

Official source

https://edu.epfl.ch/coursebook/en/foundations-of-software-CS-452

Moodle Page

http://go.epfl.ch/CS-452

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.

Instructors (1)

Instructors

Lectures in this course (25)

Lectures in this course

Related concepts (78)

Related concepts

Related courses (187)

Related courses