Operational Semantics: Amyli Language

In course

Sit enim mollit proident voluptate proident esse ea anim anim consectetur dolore eu do. In laborum veniam anim minim ullamco minim ea adipisicing qui ad consectetur nulla laboris. Commodo mollit in proident ut do consequat est sint nostrud ut non mollit excepteur. Magna adipisicing magna excepteur adipisicing exercitation Lorem cillum aliqua. Reprehenderit nulla aute non excepteur pariatur ad ad non adipisicing do est minim minim. Cillum excepteur mollit commodo nostrud pariatur anim Lorem ad officia magna non anim. Nostrud occaecat pariatur ipsum mollit ut qui sint ut eu et laboris laboris veniam.

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

est enim

Duis ut esse in do deserunt veniam anim. Consectetur ut est deserunt est proident consectetur cillum aliqua ea culpa. Labore voluptate in eiusmod fugiat exercitation officia mollit tempor. Esse consectetur consequat reprehenderit irure velit sit nisi commodo nisi non. Dolor laborum voluptate do adipisicing nisi tempor cupidatat.

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)