Výsledky vyhledávání - "Type soundness"

Functional Programming for Distributed Systems with XC

Autor: Audrito, Giorgio, Casadei, Roberto, Damiani, Ferruccio, Salvaneschi, Guido, Viroli, Mirko

Programming distributed systems is notoriously hard due to - among the others - concurrency, asynchronous execution, message loss, and device failures. Homogeneous distributed systems consist of similar devices that communicate to neighbours and exec

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::405dd128ca42f385777188e2e3736235

Zobrazit plný text záznamu

Two mechanisations of WebAssembly 1.0

Autor: Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, Philippa Gardner

Publikováno v: 24th international symposium of Formal Methods (FM21)
Formal Methods ISBN: 9783030908690
FM 2021-Formal Methods
FM 2021-Formal Methods, Nov 2021, Beijing, China. pp.1-19
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Formal Methods

International audience; WebAssembly (Wasm) is a new bytecode language supported by all major Web browsers, designed primarily to be an efficient compilation target for low-level languages such as C/C++ and Rust. It is unusual in that it is officially

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eafe1035d21cae31ed38b0752421b39a
http://hdl.handle.net/10044/1/91431

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Reasoning on divergent computations with coaxioms

Autor: Elena Zucca, Davide Ancona, Francesco Dagnino

Publikováno v: Proceedings of the ACM on Programming Languages. 1:1-26

Coaxioms have been recently introduced to enhance the expressive power of inference systems, by supporting interpretations which are neither purely inductive, nor coinductive. This paper proposes a novel approach based on coaxioms to capture divergen

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3351852a5177447ef91956db39c054ef
https://doi.org/10.1145/3133905

Zobrazit plný text záznamu

Extrinsically typed operational semantics for functional languages

Autor: Jeremy G. Siek, Dale Miller, Matteo Cimini

Publikováno v: SLE
SLE 2020-13th ACM SIGPLAN/International Conference on Software Language Engineering
SLE 2020-13th ACM SIGPLAN/International Conference on Software Language Engineering, Nov 2020, Virtual, United States

International audience; We present a type system over language definitions that classifies parts of the operational semantics of a language in input, and models a common language design organization. The resulting typing discipline guarantees that th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::42b5fb489d5082f4c68eeccc199826e0
https://doi.org/10.1145/3426425.3426936

Zobrazit plný text záznamu

Scala step-by-step:Soundness for DOT with step-indexed logical relations in Iris

Autor: Giarrusso, Paolo G., Stefanesco, Léo, Timany, Amin, Birkedal, Lars, Krebbers, Robbert

Publikováno v: Giarrusso, P G, Stefanesco, L, Timany, A, Birkedal, L & Krebbers, R 2020, ' Scala step-by-step : Soundness for DOT with step-indexed logical relations in Iris ', Proceedings of the ACM on Programming Languages, vol. 4, no. ICFP, 114 . https://doi.org/10.1145/3408996

The metatheory of Scala's core type system - the Dependent Object Types (DOT) calculus - is hard to extend, like the metatheory of other type systems combining subtyping and dependent types. Soundness of important Scala features therefore remains an

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::07df324debc087690853f955cbdff699
https://pure.au.dk/ws/files/226444156/3408996.pdf

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání