|
Automatic Verification of Loop Invariants avec Olivier Ponsini, Hélène Collavizza, Michel Rueher et Claude Michel ICSM'2010 - 26th IEEE International Conference on Software Maintenance Timisoara (Roumanie) 12-18 septembre 2010 (.pdf) |
|
Mutable Lists and Call-by-Reference with SOSSubC avec Olivier Ponsini WSEAS Transactions on Computers, 2006, vol. 5, no. 9, pp. 1942-1949 (.pdf) |
|
Towards Verification of SubC Programs with Side Effects avec Olivier Ponsini The 10th WSEAS International Conference on COMPUTERS Vouliagmeni Beach (Athènes, Grèce) juillet 2006 (.ps) |
|
Rewriting of Imperative Programs into Logical Equations avec Emmanuel Kounalis et Olivier Ponsini Science of Computer Programming, no. 56, pp. 363-401 2005 (mis en ligne le 30 novembre 2004) (.ps) |
|
Compilateurs traduction de "Modern Compiler Design" écrit par Dick Grune, Henri E. Bal, Ceriel J.H. Jacobs et Koen G. Langendoen avec Olivier Lecarme septembre 2002 (Dunod) |
|
SOS C--: a System for interpreting Operational Semantics of C--
programs avec Emmanuel Kounalis et Olivier Ponsini Applied Informatics'2002 - 20th IASTED International Multi-Conference Innsbruck (Autriche) février 2002 (.ps) |
|
Automatic Proofs of Properties of Simple C-- Modules avec Emmanuel Kounalis Automated Software Engineering'1999 - 14th IEEE International Conference Cocoa Beach (Floride, États-Unis) octobre 1999 (.ps) |
|
Towards a visual meta-compiling environment avec Michel Gautero, Pierre Alcalde et Jean-Charles Godien International Conference on Compiler Construction Linköping (Suède) avril 1996 |
|
Self-compiling a meta-compiler avec Olivier Lecarme International Conference on Compiler Construction Édimbourg (Écosse, Royaume-Uni) avril 1994 |
|
A toolbox for easily generating true compilers avec Michel Gautero et Olivier Lecarme International Conference on Compiler Construction Paderborn (Allemagne) octobre 1992 |
|
Towards a Toolkit for Building Language Implementations avec Olivier Lecarme Software - Practice & Experience, vol 22, no 11, pp. 911-936 novembre 1992 |