-
Dynamic Slicing: a Generic Analysis Based on a Natural Semantics Format
Slicing analyses have been proposed for different programming languages. Rather than defining a new analysis from scratch for each programming language, we would like... -
Proof in the Wording: Two modalities from Ancient Chinese Algorithms
In the mathematical writings that have come down to us from ancient China, proofs did not aim at establishing the truth of theorems but rather the correctness of... -
Stochastic simulation of multiple process calculi for biology
International audience -
A Criterion to Enforce Correctness of Indirectly Cooperating Applications
Article dans revue scientifique avec comité de lecture.
