Title: Combining an Improvement to PARMA Trailing with Analysis in HAL
Authors: Schrijvers, Tom
Demoen, Bart
Issue Date: Apr-2002
Publisher: Department of Computer Science, K.U.Leuven, Leuven, Belgium
Series Title: CW Reports vol:CW338
Abstract: Trailing of bindings in the PARMA variable representation is expensive in time and space. We present two schemes that lower its cost: the first is a technique that halves the space cost of trailing in PARMA. It can be used with both conditional and unconditional trailing. It is illustrated and evaluated in the context of dProlog and in the Mercury backend of HAL. The second scheme combines a variant of a previously developed trailing analysis with the first technique. Empirical evidence shows the usefulness of these schemes and that the combination is more effective than each scheme apart.
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Informatics Section

Files in This Item:
File Status SizeFormat
CW338.pdf Submitted 203KbAdobe PDFView/Open


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