A formal, resource consumption-preserving translation of actors to Haskell

DOI10.1007/978-3-319-63139-4_2zbMath1485.68049arXiv1608.02896OpenAlexW2498720524MaRDI QIDQ2409724

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

Publication date: 13 October 2017

Full work available at URL: https://arxiv.org/abs/1608.02896

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

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

Uses Software

• Isabelle/HOL
• Haskell
• Erlang
• QuickCheck
• ABS
• JCobox

This page was built for publication: A formal, resource consumption-preserving translation of actors to Haskell