Toward optimization of full Prolog programs guided by abstract interpretation

Anne Parrain; Ph. Devienne; P Lebègue

Conference Papers Year : 1992

Toward optimization of full Prolog programs guided by abstract interpretation

(1) , ,

1

Anne Parrain

Function : Author
PersonId : 1234097
IdHAL : anneparrain
ORCID : 0000-0001-7115-8022
IdRef : 121992020

Centre de Recherche en Informatique de Lens

Ph. Devienne

Function : Author

P Lebègue

Function : Author

Domains

Artificial Intelligence [cs.AI]

Fabien DELORME : Connect in order to contact the contributor

https://hal-univ-artois.archives-ouvertes.fr/hal-03301111

Submitted on : Tuesday, July 27, 2021-12:54:42 PM

Last modification on : Sunday, May 14, 2023-8:41:16 PM

Dates and versions

hal-03301111 , version 1 (27-07-2021)

Identifiers

HAL Id : hal-03301111 , version 1

Cite

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⟩

Toward optimization of full Prolog programs guided by abstract interpretation

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share