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

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

Research output: Contribution to journalJournal articleResearchpeer-review

Abstract

Udgivelsesdato: April
Original languageEnglish
JournalACM Transactions on Programming Languages and Systems
Volume29
Issue number2
Number of pages44
ISSN0164-0925
Publication statusPublished - 2007

Keywords

  • Abstract interpretation
  • dataflow analysis
  • global analysis
  • groundness analysis
  • program analysis
  • termination analysis

Cite this

@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.

In: ACM Transactions on Programming Languages and Systems, Vol. 29, No. 2, 2007.

Research output: Contribution to journalJournal articleResearchpeer-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 -