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