https://hal-univ-artois.archives-ouvertes.fr/hal-03301111 Contributor : Fabien DELORMEConnect in order to contact the contributor Submitted on : Tuesday, July 27, 2021 - 12:54:42 PM Last modification on : Wednesday, October 20, 2021 - 9:58:21 AM
Anne Parrain, Ph. Devienne, P Lebègue. Toward optimization of full Prolog programs guided by abstract interpretation. Logic Program Synthesis and Transformation 1992, 1992, Manchester, Unknown Region. pp.228-241. ⟨hal-03301111⟩