CHAT: The Copy-Hybrid Approach to Tabling

Demoen, B; Sagonas, K

dc.contributor.author	Demoen, B	en
dc.contributor.author	Sagonas, K	en
dc.date.accessioned	2014-03-01T02:48:43Z
dc.date.available	2014-03-01T02:48:43Z
dc.date.issued	1999	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/34038
dc.subject	Abstract Machine	en
dc.subject	Hybrid Approach	en
dc.title	CHAT: The Copy-Hybrid Approach to Tabling	en
heal.type	conferenceItem	en
heal.identifier.primary	10.1007/3-540-49201-1_8	en
heal.identifier.secondary	http://dx.doi.org/10.1007/3-540-49201-1_8	en
heal.publicationDate	1999	en
heal.abstract	The copying approach to tabling (CAT) is an alternative to SLG-WAM and based on incrementally copying the areas that the SLG-WAM freezes to preserve execution states of suspended computations. The main advantage of CAT over the SLG-WAM is that support for tabling does not affect the speed of the underlying abstract machine for strictly non-tabled execution. The disadvantage of CAT	en
heal.journalName	Practical Aspects of Declarative Languages	en
dc.identifier.doi	10.1007/3-540-49201-1_8	en