{"product_id":"x-various-artists-logic-based-program-synthesis-and-transformation-10th-international-workshop-lopstr-2000-london-uk-july-2000-selected-papers-10th-international-notes-in-computer-science-2042-band-2042-9783540421276","title":"Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 2000 Selected Papers: 10th International ... Notes in Computer Science, 2042, Band 2042)","description":"Synthesis.- A Formal Framework for Synthesis and Verification of Logic Programs.- Protocols between Programs and Proofs.- Protocols between Programs and Proofs.- A Technique for Modular Logic Program Refinement.- A Technique for Modular Logic Program Refinement.- Transformation.- Higher-Order Transformation of Logic Programs.- Analysis.- Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings.- Specialisation.- A Model for Inter-module Analysis and Optimizing Compilation.- Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages.- Automated Strategies for Specializing Constraint Logic Programs.- Abstract Interpretation.- Measuring the Precision of Abstract Interpretations.- Debugging.- Specifying Prolog Trace Models with a Continuation Semantics.","brand":"Springer Berlin Heidelberg","offers":[{"title":"Used - good","offer_id":53205929066838,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783540421276_1.jpg?v=1782334560","url":"https:\/\/www.momoxbooks.com\/products\/x-various-artists-logic-based-program-synthesis-and-transformation-10th-international-workshop-lopstr-2000-london-uk-july-2000-selected-papers-10th-international-notes-in-computer-science-2042-band-2042-9783540421276","provider":"momoxbooks","version":"1.0","type":"link"}