48 citations · 112 across the 21 of their papers we have counts for
Showing 2012Show all
3 papers · 1 filter
cs.LO2012
Concrete Semantics of Programs with Non-Deterministic and Random Inputs
Assalé Adjé, Jean Goubault-Larrecq
This document gives semantics to programs written in a C-like programming language, featuring interactions with an external environment with noisy and imprecise data.
cs.LO2012★ 24 cited
Forward Analysis for WSTS, Part II: Complete WSTS
Alain Finkel, Jean Goubault-Larrecq
We describe a simple, conceptual forward analysis procedure for infinity-complete WSTS S. This computes the so-called clover of a state. When S is the completion of a WSTS X, the c…
cs.PL2012★ 20 cited
QRB-Domains and the Probabilistic Powerdomain
Jean Goubault-Larrecq
Is there any Cartesian-closed category of continuous domains that would be closed under Jones and Plotkin's probabilistic powerdomain construction? This is a major open problem in…