ISBN-10:
3540326545
ISBN-13:
9783540326540
Pub. Date:
05/05/2006
Publisher:
Springer Berlin Heidelberg
Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / Edition 1

Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / Edition 1

by Patricia M. Hill

Paperback

Current price is , Original price is $89.99. You
Select a Purchase Option (2006)
  • purchase options
    $84.17 $89.99 Save 6% Current price is $84.17, Original price is $89.99. You Save 6%.
  • purchase options

Product Details

ISBN-13: 9783540326540
Publisher: Springer Berlin Heidelberg
Publication date: 05/05/2006
Series: Lecture Notes in Computer Science , #3901
Edition description: 2006
Pages: 182
Product dimensions: 6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM.- Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM.- Tools for Program Development.- Declarative Programming with Function Patterns.- Transformational Verification of Parameterized Protocols Using Array Formulas.- Design and Implementation of : A Real-Time Action Description Language.- Program Transformations.- An Algorithm for Local Variable Elimination in Normal Logic Programs.- Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs.- Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives.- Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates.- Software Development and Program Analysis.- A Transformational Semantics of Static Embedded Implications of Normal Logic Programs.- Converting One Type-Based Abstract Domain to Another.- Experiments in Context-Sensitive Analysis of Modular Programs.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews