Instruction merging and specialization in the SICStus Prolog virtual machine

Nässén, H; Carlsson, M; Sagonas, K

dc.contributor.author	Nässén, H	en
dc.contributor.author	Carlsson, M	en
dc.contributor.author	Sagonas, K	en
dc.date.accessioned	2014-03-01T02:49:04Z
dc.date.available	2014-03-01T02:49:04Z
dc.date.issued	2001	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/34273
dc.subject	Code Size	en
dc.subject	Performance Measure	en
dc.subject	Virtual Machine	en
dc.title	Instruction merging and specialization in the SICStus Prolog virtual machine	en
heal.type	conferenceItem	en
heal.identifier.primary	10.1145/773184.773191	en
heal.identifier.secondary	http://dx.doi.org/10.1145/773184.773191	en
heal.publicationDate	2001	en
heal.abstract	Wanting to improve execution speed and reduce code size of SICStus Prolog programs, we embarked on a project whose aim was to systematically investigate combination and specialization of WAM instructions. Various variants of the SICStus Prolog virtual machine instruction set were designed, implemented, and their performance was evaluated against standard benchmarks and on big Prolog programs. In this paper, we	en
heal.journalName	Principles and Practice of Declarative Programming	en
dc.identifier.doi	10.1145/773184.773191	en