Abstract Partial Deduction Challenged
Abstract Partial Deduction Challenged
Some Experimental Results about the Current Abilities of the two Abstract Partial Deduction Tools ECCE and SP
Experiments, Abstract Partial Deduction, RUL Domain, Regular Unary Logic
Gruner, Stefan
d223b727-7b0e-4187-b34c-21bba691742d
2002
Gruner, Stefan
d223b727-7b0e-4187-b34c-21bba691742d
(2002)
Abstract Partial Deduction Challenged.
Gruner, Stefan
(ed.)
M. Leuschel and F. Bueno (Eds.), LOPSTR 2002: PreProceedings of the International Workshop on Logic Based Program Development and Transformation, Madrid (E).
16 - 19 Sep 2002.
Record type:
Conference or Workshop Item
(Other)
Abstract
Some Experimental Results about the Current Abilities of the two Abstract Partial Deduction Tools ECCE and SP
This record has no associated files available for download.
More information
Published date: 2002
Additional Information:
Please send an EMail to sg@ecs.soton.ac.uk for a copy of the paper. A Short Abstract (Poster) will later appear in the LNCS. Event Dates: 17-20 September 2002
Venue - Dates:
M. Leuschel and F. Bueno (Eds.), LOPSTR 2002: PreProceedings of the International Workshop on Logic Based Program Development and Transformation, Madrid (E), 2002-09-16 - 2002-09-19
Keywords:
Experiments, Abstract Partial Deduction, RUL Domain, Regular Unary Logic
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 256982
URI: http://eprints.soton.ac.uk/id/eprint/256982
PURE UUID: 804fa0f4-306f-4103-9883-5da4c4031415
Catalogue record
Date deposited: 17 Dec 2002
Last modified: 10 Dec 2021 20:47
Export record
Contributors
Editor:
Stefan Gruner
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics