Determinacy induction by means of an abstract OLDT resolution

Christophe Lecoutre; Ph. Devienne; P Lebègue

Conference Papers Year : 1992

Determinacy induction by means of an abstract OLDT resolution

(1) , ,

1

Christophe Lecoutre

Function : Author
PersonId : 836223
IdHAL : christophe-lecoutre
ORCID : 0000-0002-2205-6545
IdRef : 121673952

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-03300926

Submitted on : Tuesday, July 27, 2021-12:25:04 PM

Last modification on : Friday, March 24, 2023-2:53:22 PM

Dates and versions

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

Identifiers

HAL Id : hal-03300926 , version 1

Cite

Christophe Lecoutre, Ph. Devienne, P Lebègue. Determinacy induction by means of an abstract OLDT resolution. First International Workshop on Static Analysis (WSA'92), 1992, Bordeaux, France. ⟨hal-03300926⟩

Determinacy induction by means of an abstract OLDT resolution

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share