-
Mechanized Formal Semantics and Verified Compilation for C++ Objects
C++ is one of the most widely used programming languages in practice, including for embedded critical software. Thus, it becomes interesting to apply formal methods to... -
The CompCert Memory Model, Version 2
A memory model is an important component of the formal semantics of imperative programming languages: it specifies the behavior of operations over memory states, such... -
DSLM : Dynamic Synchronous Language with Memory
We propose a new scripting language called DSLM based on the syn- chronous/reactive model. In DSLM, systems are composed of several sites executed asynchronously, and... -
Type-theoretical natural language semantics: on the system F for meaning asse...
International audience -
Sémantique des déterminants dans un cadre richement typé
International audience -
Algebraic Framework for Synchronous Language Semantics
International audience -
Semantic foundations of intermediate program representations
An end-to-end guarantee of software correctness by formal verification must consider two sources of bugs. First, the verification tool must be correct. Second,... -
A type theoretical framework for natural language semantics: the Montagovian ...
To appear in Types 2013 PostProceedings -
Pretty-big-step-semantics-based Certified Abstract Interpretation
National audience -
Automated Guidance for Case Management: Science or Fiction?
Humans dream about an intelligent computer assistant who would support them in critical situations thanks to its capacity to reason objectively, to take into ac-count... -
Towards a safe and secure synchronous language
This thesis proposes a new approach to parallelism and concurrency, laying the basis for the design of a programming language with a clear and simple formal semantics,... -
Monsters begat by quantifiers?
It is common practice in formal semantics to assume that the context specifies an assignment of values to variables and that the same variables that receive... -
Un traitement sémantique de la polysémie lexicale dans le domaine du dialogue...
Colloque avec actes et comité de lecture. nationale. -
La sémantique dans les grammaires d'interaction
Colloque avec actes et comité de lecture. internationale.
