Monat, Raphaël
- A Modern Compiler for the French Tax Code
2020/11/16 by Denis Merigoux, Merigoux, Denis, Raphaël Monat +3 · 8 voices · 2 citations
#cs.PL
- CUTECat: Concolic Execution for Computational Law
2024/10/23 by Pierre Goutagny, Aymeric Fromherz, Goutagny, Pierre +3 · 3 voices
Computer Science · Social Sciences · #Artificial Intelligence in Law #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #cs.PL #cs.SE
- Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
2024/03/13 by Raphaël Monat, Aymeric Fromherz, Monat, Raphaël +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #Handwritten Text Recognition Techniques #Programming Languages (cs.PL)
- Easing Maintenance of Academic Static Analyzers
2024/07/17 by Monat, Raphaël, Ouadjaout, Abdelraouf, Miné, Antoine · 2 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE)