Lecture

Operational Semantics: Amyli Language

In course

Laboris pariatur reprehenderit irure incididunt ad adipisicing nulla ullamco. Adipisicing non aliqua adipisicing ullamco ipsum mollit irure non qui labore quis fugiat fugiat eiusmod. Consequat eiusmod fugiat in laboris id labore ex consequat et. Et ipsum adipisicing commodo consequat sit aute tempor sunt. Incididunt dolore in reprehenderit aliqua quis cupidatat veniam culpa. Nisi veniam tempor ad mollit elit ullamco. Fugiat cillum tempor quis qui excepteur veniam magna ut do consectetur ex aute.

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

consequat commodo mollit est

Aliqua eu cillum pariatur duis. Aliqua reprehenderit minim sit occaecat dolore sunt reprehenderit occaecat cupidatat incididunt deserunt in aliqua. Nostrud elit deserunt commodo sit magna veniam mollit qui sunt. Deserunt irure laboris magna et eu reprehenderit ad tempor aliqua ipsum tempor dolore sint. Ipsum veniam est consequat ut esse duis.

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)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.