Francois Gobert

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

2 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 Francois Gobert, Baudouin Le Charlier: Source-to-source optimizing transformations of Prolog programs based on abstract interpretation CoRR abs/0710.5895: (2007)

	2008
2		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		Francois Gobert, Baudouin Le Charlier: Source-to-source optimizing transformations of Prolog programs based on abstract interpretation CoRR abs/0710.5895: (2007)

Coauthor Index