Formalising Futures and Promises in Viper

Autor: Giusto, Cinzia, Germerie Guizouarn, Loïc, Henrio, Ludovic, Lozes, Etienne

Publikováno v: Journées Francophones des Langages Applicatifs
JFLA 2022-33èmes Journées Francophones des Langages Applicatifs
JFLA 2022-33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.165-183

National audience; Futures and promises are respectively a read-only and a write-once pointer to a placeholder in memory. They are used to transfer information between threads in the context of asynchronous concurrent programming. Futures and promise

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7b89852025abb94bf0ef80dbe1ed412c
https://inria.hal.science/hal-03626843