Reuse of results in termination analysis of typed logic programs

Maurice Bruynooghe, Mike Codish, Samir Genaim, Wim Vanhoof

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

langue originaleAnglais
titre Static Analysis, 9th International Symposium
Pages477-492
Nombre de pages16
Volume2477
Etat de la publicationPublié - 2002

Série de publications

NomStatic Analysis, 9th International Symposium

Contient cette citation