HEAL DSpace

A Polyvariant Binding-Time Analysis for Off-line Partial Deduction

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

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

dc.contributor.author Bruynooghe, M en
dc.contributor.author Leuschel, M en
dc.contributor.author Sagonas, K en
dc.date.accessioned 2014-03-01T02:48:35Z
dc.date.available 2014-03-01T02:48:35Z
dc.date.issued 1998 en
dc.identifier.uri https://dspace.lib.ntua.gr/xmlui/handle/123456789/33929
dc.subject Abstract Interpretation en
dc.subject Partial Deduction en
dc.subject Binding Time Analysis en
dc.title A Polyvariant Binding-Time Analysis for Off-line Partial Deduction en
heal.type conferenceItem en
heal.identifier.primary 10.1007/BFb0053561 en
heal.identifier.secondary http://dx.doi.org/10.1007/BFb0053561 en
heal.publicationDate 1998 en
heal.abstract We study the notion of binding-time analysis for logic pro- grams. We formalise the unfolding aspect of an on-line partial deduction system as a Prolog program. Using abstract interpretation, we collect information about the run-time behaviour of the program. We use this information to make the control decisions about the unfolding at analysis time and to turn the on-line system en
heal.journalName European Symposium on Programming en
dc.identifier.doi 10.1007/BFb0053561 en


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

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

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

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

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