{"product_id":"9783540326540","title":"Logic Based Program Synthesis and Transformation : 15th International Symposium, Lopstr 2005, London, Uk, September 7-9, 2005, Revised Selected Papers","description":"\u003cp\u003eTemporal 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.\u003c\/p\u003e","brand":"Springer-Verlag New York Inc","offers":[{"title":"Default Title","offer_id":48764966797547,"sku":"00000_00000_00000_00000","price":100.69,"currency_code":"SGD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0758\/4484\/5803\/files\/9783540326540-1.jpg?v=1781723143","url":"https:\/\/kinokuniya.com.sg\/ja\/products\/9783540326540","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}