HEAL DSpace

Preserving Termination of Tabled Logic Programs While Unfolding

Αποθετήριο DSpace/Manakin

Εμφάνιση απλής εγγραφής

dc.contributor.author Leuschel, M en
dc.contributor.author Martens, B en
dc.contributor.author Sagonas, K en
dc.date.accessioned 2014-03-01T02:48:29Z
dc.date.available 2014-03-01T02:48:29Z
dc.date.issued 1997 en
dc.identifier.uri https://dspace.lib.ntua.gr/xmlui/handle/123456789/33846
dc.relation.uri http://www.stups.uni-duesseldorf.de/publications/xsb.lopstr.pdf en
dc.relation.uri http://stups.cs.uni-duesseldorf.de/publications/xsb.lopstr.pdf en
dc.subject Logic Programs en
dc.title Preserving Termination of Tabled Logic Programs While Unfolding en
heal.type conferenceItem en
heal.publicationDate 1997 en
heal.abstract We provide a first investigation of the specialisation and transformation of tabled logic programs through unfolding. We show that — surprisingly — unfolding, even determinate, can worsen the ter- mination behaviour in the context of tabling. We therefore establish two criteria which ensure that such mishaps are avoided. We also briefly discuss the influence of some other transformation techniques on en
heal.journalName Logic Program Synthesis and Transformation en


Αρχεία σε αυτό το τεκμήριο

Αρχεία Μέγεθος Μορφότυπο Προβολή

Δεν υπάρχουν αρχεία που σχετίζονται με αυτό το τεκμήριο.

Αυτό το τεκμήριο εμφανίζεται στην ακόλουθη συλλογή(ές)

Εμφάνιση απλής εγγραφής