Touraivane. La r'ecup'eration de m'emoire dans les machines non d'eterministes. Th`ese, Universit'e d'Aix-Marseille, 1988.  Home/Search   Document Not in Database   Summary   Related Articles

....a new attributed variable each time a new value has to be assigned. 5.2 Management of general affectation of variables An alternative solution to attributed variables, is to allow direct multiple reversible affectations of the same variable. This solution has been implemented by Touraivane [43] for PrologIII, a Prolog with constraints. It has also been used, under the name value trail, and multi value trail, in CHIP [1] another constraint logic programming language, from ECRC. Each time a variable is modified, its previous value is saved in the trail. Roots of accesses to useful ....

....in MALIv06 [38] 6. 2 Segmented garbage collection for Prolog Segmented garbage collection, a kind of generation garbage collection [45, 33, 30] adapted to Prolog, was first proposed by Pittomsvils, Bruynooghe and Willems [37] These ideas have been developed and implemented by some authors [5, 3, 43]. The main idea for Prolog is well summarized by Appleby all in [3] When a choice point is created, all structures in the heap that are not garbage will remain non garbage until the choice point is removed upon backtracking. The main idea is to segment memory into two parts: an old segment and ....

[Article contains additional citation context not shown here]

Touraivane. La r'ecup'eration de m'emoire dans les machines non d'eterministes. Th`ese, Universit'e d'Aix-Marseille, 1988.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC