Výsledky vyhledávání - "Guillaume Ambal"

Certified Derivation of Small-Step From Big-Step Skeletal Semantics

Autor: Guillaume Ambal, Sergueï Lenglet, Alan Schmitt, Camille NoûS

Publikováno v: PPDP 2022-24th International Symposium on Principles and Practice of Declarative Programming
PPDP 2022-24th International Symposium on Principles and Practice of Declarative Programming, Sep 2022, Tbilisi, Georgia. pp.1-48, ⟨10.1145/3551357.3551384⟩

International audience; We present an automatic translation of a skeletal semantics written in big-step style into an equivalent structural operational semantics. This translation is implemented on top of the Necro tool, which lets us automatically g

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ac4e4d406c5e66ce1991dd5a1ca48e1
https://inria.hal.science/hal-03768820

Zobrazit plný text záznamu

HO$$\pi $$ in Coq

Autor: Alan Schmitt, Guillaume Ambal, Sergueï Lenglet

Publikováno v: Journal of Automated Reasoning. 65:75-124

We present a formalization of HOπ in Coq, a process calculus where messages carry processes. Such a higher-order calculus features two very different kinds of binder: process input, similar to λ-abstraction, and name restriction, whose scope can be

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b6fc4c3538b08ed6718ca64384d0a880
https://doi.org/10.1007/s10817-020-09553-0

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání