Skip to Main content Skip to Navigation
Conference papers

A formal semantics of the MULTI-ML language

Abstract : In the context of high performance computing, it is important to avoid indeterminism and deadlocks. MULTI-ML is a functional parallel programming language " à la ML " , designed to program hierarchical architectures in a structured way. It is based of the MULTI-BSP bridging model. To ensure that a program " cannot go wrong " , we first need to define how a program " goes ". To do so, we propose a formal operational semantics of the MULTI-ML language to ensure the properties of the MULTI-BSP model. We first describe a core-language and then introduce the big step's semantics evaluation rules. Then, we propose a set of evaluation rules that describe the behaviour of the MULTI-ML language. The memory model is also precisely defined, as the MULTI-BSP model deals with multiple level of nested memories.
Keywords : Semantics MULTI-BSP ML
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Victor Allombert Connect in order to contact the contributor
Submitted on : Wednesday, July 11, 2018 - 12:09:49 PM
Last modification on : Wednesday, November 3, 2021 - 5:19:46 AM
Long-term archiving on: : Friday, October 12, 2018 - 11:31:03 PM


Files produced by the author(s)


  • HAL Id : hal-01835315, version 1



Victor Allombert, Frédéric Gava, Julien Tesson. A formal semantics of the MULTI-ML language. International Symposium on Parallel and Distributed Computing (ISPDC 2018), Jun 2018, Genève, Switzerland. ⟨hal-01835315⟩



Record views


Files downloads