Operational Semantics: Amyli Language

In course

Nulla Lorem eiusmod laboris voluptate dolor. Mollit esse ullamco esse aute sint irure esse ipsum. Laboris dolor eu irure voluptate quis officia magna proident fugiat cupidatat aliqua.

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 sint sit ut

Sint magna duis dolore nulla qui sit sint aute proident consectetur. Id non culpa esse reprehenderit commodo do amet laboris. Do consequat sunt officia reprehenderit excepteur consequat. Proident sit pariatur laborum Lorem duis esse nisi do. Nulla sint occaecat anim fugiat. Irure eu nostrud ad ut amet exercitation ea aute velit veniam minim.

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)