An abstract machine for asynchronous programs with closures and priority queues

DOI10.1007/978-3-319-67089-8_5zbMath1478.68087OpenAlexW2746630951MaRDI QIDQ1685782

Maurizio Leotta, Filippo Ricca, Enrico Prampolini, Marina Ribaudo, Giorgio Delzanno, Luca Franceschini, Davide Ancona

Publication date: 20 December 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-67089-8_5

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Other nonclassical models of computation (68Q09)

Uses Software

• JavaScript
• Node.js
• KJS
• libuv

This page was built for publication: An abstract machine for asynchronous programs with closures and priority queues