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-01T01:49:19Z
dc.date.available	2014-03-01T01:49:19Z
dc.date.issued	2000	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/25715
dc.subject	Abstract Machine	en
dc.subject	Hybrid Approach	en
dc.title	CHAT: the copy-hybrid approach to tabling	en
heal.type	journalArticle	en
heal.identifier.primary	10.1016/S0167-739X(99)00092-8	en
heal.identifier.secondary	http://dx.doi.org/10.1016/S0167-739X(99)00092-8	en
heal.publicationDate	2000	en
heal.abstract	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 as pointed	en
heal.journalName	Future Generation Computer Systems	en
dc.identifier.doi	10.1016/S0167-739X(99)00092-8	en