Francçois Gobert

Publication Activity (10 Years)

Years Active: 2007-2008
Publications (10 Years): 0

Publications

Francçois Gobert, Baudouin Le Charlier
Un système vérifiant des propriétés opérationnelles de programmes logiques. Tech. Sci. Informatiques 27 (8) (2008)
Francçois Gobert, Baudouin Le Charlier
Source-to-source optimizing transformations of Prolog programs based on abstract interpretation CoRR (2007)