Termination analysis of logic programs through combination of type-based norms

Maurice Bruynooghe, Michael Codish, John Patrick Gallagher, Samir Genaim, Wim Vanhoof

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Abstract

Udgivelsesdato: April

Originalsprog	Engelsk
Tidsskrift	ACM Transactions on Programming Languages and Systems
Vol/bind	29
Udgave nummer	2
Antal sider	44
ISSN	0164-0925
Status	Udgivet - 2007

@article{eb80c3b0032511dc825a000ea68e967b,

title = "Termination analysis of logic programs through combination of type-based norms",

abstract = "Udgivelsesdato: April",

keywords = "Abstract interpretation, dataflow analysis, global analysis, groundness analysis, program analysis, termination analysis",

author = "Maurice Bruynooghe and Michael Codish and Gallagher, {John Patrick} and Samir Genaim and Wim Vanhoof",

year = "2007",

language = "English",

volume = "29",

journal = "ACM Transactions on Programming Languages and Systems",

issn = "0164-0925",

publisher = "Association for Computing Machinery",

number = "2",

}

TY - JOUR

T1 - Termination analysis of logic programs through combination of type-based norms

AU - Bruynooghe, Maurice

AU - Codish, Michael

AU - Gallagher, John Patrick

AU - Genaim, Samir

AU - Vanhoof, Wim

PY - 2007

Y1 - 2007

N2 - Udgivelsesdato: April

AB - Udgivelsesdato: April

KW - Abstract interpretation

KW - dataflow analysis

KW - global analysis

KW - groundness analysis

KW - program analysis

KW - termination analysis

M3 - Journal article

SN - 0164-0925

VL - 29

JO - ACM Transactions on Programming Languages and Systems

JF - ACM Transactions on Programming Languages and Systems

IS - 2

ER -