HEAL DSpace

Memory management for Prolog with tabling

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

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

dc.contributor.author Dernoen, B en
dc.contributor.author Sagonas, K en
dc.date.accessioned 2014-03-01T01:48:09Z
dc.date.available 2014-03-01T01:48:09Z
dc.date.issued 1999 en
dc.identifier.uri https://dspace.lib.ntua.gr/xmlui/handle/123456789/25410
dc.subject Garbage Collection en
dc.subject Logic Programs en
dc.subject Memory Management en
dc.subject Memory Model en
dc.subject Garbage Collector en
dc.title Memory management for Prolog with tabling en
heal.type journalArticle en
heal.identifier.primary 10.1145/301589.286871 en
heal.identifier.secondary http://dx.doi.org/10.1145/301589.286871 en
heal.publicationDate 1999 en
heal.abstract Tabling can be implemented in a (WAM-based) Prolog system by means of SLG-WAM: consumers suspend and their state is preserved by freezing the execution stacks. XSB is a system that currently implements tabling based on the SLG-WAM. The memory model is quite complex and attempts to understand the notion of usefulness of data in XSB well enough to build a en
heal.journalName Sigplan Notices en
dc.identifier.doi 10.1145/301589.286871 en


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

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

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

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

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