A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell*

DOI10.3233/FI-2020-1988zbMath1497.68090OpenAlexW3112986132MaRDI QIDQ4988924

Enrique Martin-Martin, Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer

Publication date: 20 May 2021

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2020-1988

zbMATH Keywords

operational semanticsfuturescontinuationfunctional programmingactor modelcoroutinecooperative multitasking

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Uses Software

• Coq
• Isabelle/HOL
• Haskell
• QuickCheck
• Kilim
• SACO
• ABS
• JCobox

Cites Work

• Unnamed Item
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Isabelle/HOL. A proof assistant for higher-order logic
• Twenty years of rewriting logic
• A formal, resource consumption-preserving translation of actors to Haskell
• Compiling Cooperative Task Management to Continuations
• Towards Erlang Verification by Term Rewriting
• Representing Control: a Study of the CPS Transformation
• Towards Modelling Actor-Based Concurrency in Term Rewriting
• A Complete Guide to the Future

This page was built for publication: A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell*