Searching for "CAT The Copying Approach to Tabling." – sorted by Relevance.
-
CAT: the Copying Approach to Tabling
- CAT: the Copying Approach to Tabling Bart Demoen Konstantinos Sagonas Department of Computer
- Add To MetaCart
-
CAT: the Copying Approach to Tabling
- CAT: The Copying Approach to Tabling Bart Demoen bmd@(email omitted); Konstantinos Sagonas kostis
- Cited by 29 (14 self) – Add To MetaCart
-
CHAT: the Copy-Hybrid Approach to Tabling
- The Copying Approach to Tabling, abbrv. CAT, is an alternative to SLG-WAM and based on incrementally copying
- Cited by 22 (6 self) – Add To MetaCart
-
Memory Management for Prolog with Tabling
- execution. In [10], we introduced the `Copying Approach to Tabling' abbreviated CAT. In short, CAT preserves
- Cited by 9 (8 self) – Add To MetaCart
-
Tabling in mercury: Design and implementation
- how we adapted the copying approach to tabling to implement tabling in Mercury. 1 Introduction By now
- Cited by 4 (0 self) – Add To MetaCart

