Title: Partial translation: Towards a portable and efficient prolog implementation technology
Authors: Tarau, P ×
DeBosschere, K
Demoen, Bart #
Issue Date: Oct-1996
Publisher: Elsevier science inc
Series Title: Journal of logic programming vol:29 issue:1-3 pages:65-83
Abstract: We describe a new language translation framework (partial translation) and the application of one of its instances: the C-ification of Binary Prolog. Our partial translation framework compiles selected sequences of emulator instructions down to native code. The technique can be seen as an automatic specialization. with respect to a given program of the traditional instruction folding techniques used to speed up emulators.
ISSN: 0743-1066
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
1-s2.0-S0743106696000635-main.pdf Published 1059KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science