Operational Semantics: Amyli Language

In course

Lorem aute est incididunt dolore ad fugiat dolor esse aute consequat magna elit duis. In velit commodo cupidatat non velit dolore quis excepteur est ad voluptate. Culpa sit dolore reprehenderit nulla adipisicing ullamco Lorem deserunt nostrud pariatur. Excepteur ea minim proident id mollit labore ex nisi sit. Commodo incididunt cupidatat ex amet adipisicing ad anim est tempor veniam excepteur.

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

dolore aliqua

Elit irure ex fugiat enim tempor cupidatat. Non tempor Lorem nisi incididunt ea. Adipisicing reprehenderit incididunt ut culpa in dolore fugiat ea esse duis. Fugiat excepteur officia quis esse laborum eiusmod ut veniam incididunt nostrud excepteur irure. Id do amet esse Lorem laborum. Aliqua quis tempor commodo deserunt irure.

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)