75 citations
- Institut national de recherche en sciences et technologies du numériqueFR18 papers
- Centre Inria de l'Université de LilleFR13 papers
- École Polytechnique Fédérale de LausanneCH6 papers
- Université de LilleFR6 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- Laboratoire d'Informatique, Signaux et Systèmes de Sophia AntipolisFR3 papers
- Dynamic Imaging (United Kingdom)GB2 papers
- Laboratoire d'Automatique, Génie Informatique et SignalFR2 papers
- Laboratoire d'Informatique, du Traitement de l'Information et des SystèmesFR2 papers
- Université Côte d'AzurFR2 papers
- Centre de Recherche en InformatiqueFR1 paper
- Centre de Recherche en Informatique, Signal et Automatique de LilleFR1 paper
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2011★ 3 cited
Using Bounded Model Checking to Focus Fixpoint Iterations
David Monniaux, Laure Gonnord
Two classical sources of imprecision in static analysis by abstract interpretation are widening and merge operations. Merge operations can be done away by distinguishing paths, as…
cs.PL2009★ 2 cited
Encapsulation and Dynamic Modularity in the Pi-Calculus
Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz +2
We describe a process calculus featuring high level constructs for component-oriented programming in a distributed setting. We propose an extension of the higher-order pi-calculus…