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 tidsskriftTidsskriftartikelForskningpeer review

Resumé

Udgivelsesdato: April
OriginalsprogEngelsk
TidsskriftACM Transactions on Programming Languages and Systems
Vol/bind29
Udgave nummer2
Antal sider44
ISSN0164-0925
StatusUdgivet - 2007

Citer dette

@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 = "A C M Transactions on Programming Languages and Systems",
issn = "0164-0925",
publisher = "Association for Computing Machinery, Inc.",
number = "2",

}

Termination analysis of logic programs through combination of type-based norms. / Bruynooghe, Maurice; Codish, Michael; Gallagher, John Patrick; Genaim, Samir; Vanhoof, Wim.

I: ACM Transactions on Programming Languages and Systems, Bind 29, Nr. 2, 2007.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

VL - 29

JO - A C M Transactions on Programming Languages and Systems

JF - A C M Transactions on Programming Languages and Systems

SN - 0164-0925

IS - 2

ER -