(2002) Logic Based Program Synthesis and Transformation, Proceedings of LOPSTR'02, Revised Selected Papers. Leuschel, Michael (ed.) Logic Based Program Synthesis and Transformation LOPSTR'02, Madrid, Spain. 16 - 19 Sep 2002.
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 2002
Additional Information:
Event Dates: 17-20 September 2002
Venue - Dates:
Logic Based Program Synthesis and Transformation LOPSTR'02, Madrid, Spain, 2002-09-16 - 2002-09-19
Related URLs:
Keywords:
Logic Programming, Transformation, Synthesis, Partial Evaluation, Program Specialisation, Program Analysis, Termination, Abstract Interpretation, Refinement
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 257669
URI: http://eprints.soton.ac.uk/id/eprint/257669
ISBN: 3-540-40438-4
PURE UUID: 16d6a4ee-856a-4360-94e7-6edd4c8e458d
Catalogue record
Date deposited: 12 Jun 2003
Last modified: 10 Dec 2021 20:52
Export record
Contributors
Editor:
Michael Leuschel
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.