157 citations
- Catherine Dubois2 profiles6 · h 15
- Mathilde Mougeot2 profiles5 · h 3
- Raphael Meunier5 · h 5
- Sergio Pulido2 profiles5 · h 12
- Cyril B'en'ezet4 · h 2
- N. Brunel3 profiles4 · h 64
- Dimitri Watel3 · h 5
- Nicolas Brunel2 profiles3 · h 3
- T. Dairay3 · h 9
- T. Nguyen2 profiles3 · h 2
- A. Bonifati2 · h 38
- A. Charantonis2 · h 12
- Laboratoire de Mathématiques Blaise PascalFR16 papers
- Laboratoire de Mathématiques et Modélisation d'ÉvryFR16 papers
- Centre d'études et de recherche en informatique et communicationsFR8 papers
- Centre BorelliFR7 papers
- Université Paris-SaclayFR7 papers
- Centre National de la Recherche ScientifiqueFR6 papers
- Institut Polytechnique de ParisFR6 papers
- Laboratoire Interdisciplinaire des Sciences du NumériqueFR6 papers
- Laboratoire Analyse et Modélisation pour la Biologie et l'EnvironnementFR5 papers
- Télécom SudParisFR5 papers
- Local Initiatives Support CorporationUS4 papers
- CEA DAM Île-de-FranceFR3 papers
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2022
Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types
Ghiles Ziat, Vincent Botbol, Matthieu Dien +3
In program verification, constraint-based random testing is a powerful technique which aims at generating random test cases that satisfy functional properties of a program. However…
cs.PL2022★ 1 cited
LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes
Mathieu Montin, Amélie Ledein, Catherine Dubois
Nested datatypes have been widely studied in the past 25 years, both theoretically using category theory, and practically in programming languages such as Haskell. They consist in…
cs.PL2009★ 150 cited
Mechanized semantics for the Clight subset of the C language
Sandrine Blazy, Xavier Leroy
This article presents the formal semantics of a large subset of the C language called Clight. Clight includes pointer arithmetic, "struct" and "union" types, C loops and structured…