3 citations · 4 across the 4 of their papers we have counts for
4 papers
Objective Caml for Multicore Architectures
Mathias Bourgoin, Benjamin Canou, Emmanuel Chailloux +2
Objective Caml is a famous dialect of the ML family languages. It is well-known for its performance as a compiled programming language, notably thanks to its incremental generation…
Low Cost High Integrity Platform
Thierry Lecomte, David Deharbe, Denis Sabatier +6
Developing safety critical applications often require rare human resources to complete successfully while off-the-shelf block solutions appear difficult to adapt especially during…
Static Analysis of Communicating Processes using Symbolic Transducers
Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall
We present a general model allowing static analysis based on abstract interpretation for systems of communicating processes. Our technique, inspired by Regular Model Checking, repr…
Mixing the Objective Caml and C# Programming Models in the .Net Framework
Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici
We present a new code generator, called O'Jacare.net, to inter-operate between C# and Objective Caml through their object models. O'Jacare.net defines a basic IDL (Interface Defini…