Foundations of Software: Modeling Programming Languages

In course

Tempor sunt cupidatat aliquip sint officia incididunt mollit pariatur. Id cupidatat ad velit aliquip nulla adipisicing velit. Occaecat minim ex cillum non cupidatat id duis ea ipsum.

Description

This lecture introduces the Foundations of Software course, focusing on the mathematical study of program behaviors. Topics include parsing, domain-specific languages, parser combinators, and the basic idea of defining functions for language recognition. The course emphasizes operational techniques and type systems, providing a deep understanding of core language features and powerful tools for language design.

Instructor

qui veniam dolore

Anim incididunt nostrud ullamco deserunt nulla in. Sit proident veniam esse consectetur. Consectetur velit excepteur reprehenderit ad aute reprehenderit. Dolore eu ad eiusmod adipisicing aute commodo est sunt ullamco ullamco ullamco ipsum. Labore anim irure id consequat minim commodo cupidatat magna ea nisi adipisicing id tempor labore.

Official source

https://mediaspace.epfl.ch/media/0_ztc60g8h

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.

Ontological neighbourhood

Computer engineering

Computer programming: Compilers

Theoretical computer science

Programming language theory: High-level programming languages

Related lectures (49)