Reuse of results in termination analysis of typed logic programs

Maurice Bruynooghe, Mike Codish, Samir Genaim, Wim Vanhoof

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Static Analysis, 9th International Symposium
Pages	477-492
Number of pages	16
Volume	2477
Publication status	Published - 2002

Name	Static Analysis, 9th International Symposium

Cite this

@inproceedings{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",

series = "Static Analysis, 9th International Symposium ",

pages = "477--492",

booktitle = "Static Analysis, 9th International Symposium",

}