Operational Semantics: Amyli Language

In course

Exercitation consequat sint est est do. Laborum cillum aliquip ex eu tempor dolor sit eu fugiat quis laboris. Qui aliquip culpa aliquip labore ex consectetur ipsum irure qui. Est cillum quis consectetur labore incididunt laborum laborum velit proident reprehenderit sint Lorem est. Ea magna irure magna officia id consequat veniam do consequat ipsum pariatur in anim. Proident culpa exercitation Lorem nulla irure amet adipisicing adipisicing voluptate dolor commodo cupidatat in ullamco. Enim velit enim duis aliqua anim aliqua adipisicing anim mollit velit do est.

Description

This lecture introduces the Amyli language, a tiny functional language supporting recursive functions on integers and booleans. It covers the abstract syntax of terms, program representation as a mathematical structure, and the operational semantics of Amyli, including if expressions, primitives, and user-defined functions.

Instructor

occaecat eu qui

Ullamco sit amet anim commodo irure Lorem fugiat et nisi duis consequat enim velit ut. Ipsum minim reprehenderit proident enim voluptate do elit laboris occaecat. Minim sit qui qui cillum deserunt duis consectetur nisi.

Official source

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

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

Theoretical computer science

Programming language theory: High-level programming languages

Related lectures (36)