-
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... -
Optimizations of Eiffel programs: SmallEiffel, The GNU Eiffel Compiler.
Colloque avec actes et comité de lecture./http://csdl2.computer.org/ -
Adding external iterators to an existing Eiffel class library
Colloque avec actes et comité de lecture./http://ieeexplore.ieee.org/ -
La programmation à objets. Application au langage Eiffel
Article dans une revue de vulgarisation.
