Reuse of results in termination analysis of typed logic programs

Maurice Bruynooghe, Mike Codish, Samir Genaim, Wim Vanhoof

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)477-492
Number of pages16
JournalStatic Analysis, 9th International Symposium
Volume2477
Publication statusPublished - 2002

Cite this

Bruynooghe, Maurice ; Codish, Mike ; Genaim, Samir ; Vanhoof, Wim. / Reuse of results in termination analysis of typed logic programs. In: Static Analysis, 9th International Symposium . 2002 ; Vol. 2477. pp. 477-492.
@article{ba76598ae26d47889659bf09d62e0659,
title = "Reuse of results in termination analysis of typed logic programs",
author = "Maurice Bruynooghe and Mike Codish and Samir Genaim and Wim Vanhoof",
year = "2002",
language = "English",
volume = "2477",
pages = "477--492",
journal = "Static Analysis, 9th International Symposium",

}

Reuse of results in termination analysis of typed logic programs. / Bruynooghe, Maurice; Codish, Mike; Genaim, Samir; Vanhoof, Wim.

In: Static Analysis, 9th International Symposium , Vol. 2477, 2002, p. 477-492.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Reuse of results in termination analysis of typed logic programs

AU - Bruynooghe, Maurice

AU - Codish, Mike

AU - Genaim, Samir

AU - Vanhoof, Wim

PY - 2002

Y1 - 2002

M3 - Article

VL - 2477

SP - 477

EP - 492

JO - Static Analysis, 9th International Symposium

JF - Static Analysis, 9th International Symposium

ER -