Francois Gobert Vis

List of publications from the DBLP Bibliography Server - FAQ

* 2008

2 EE Francois Gobert, Baudouin Le Charlier: Un système vérifiant des propriétés opérationnelles de programmes logiques. Technique et Science Informatiques 27(8): 1033-1064 (2008)

2007

1 EE Francois Gobert, Baudouin Le Charlier: Source-to-source optimizing transformations of Prolog programs based on abstract interpretation CoRR abs/0710.5895: (2007)

*	2008
2	EE	Francois Gobert, Baudouin Le Charlier: Un système vérifiant des propriétés opérationnelles de programmes logiques. Technique et Science Informatiques 27(8): 1033-1064 (2008)
	2007
1	EE	Francois Gobert, Baudouin Le Charlier: Source-to-source optimizing transformations of Prolog programs based on abstract interpretation CoRR abs/0710.5895: (2007)

Coauthor Index