Cover Image
Read Now

Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were c...

Full description

Bibliographic Details
Other Authors: Hanus, Michael (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2009, 2009
Edition:1st ed. 2009
Series:Theoretical Computer Science and General Issues
Subjects:
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Software Engineering
Programming Techniques
Computer Science
Computer Programming
Formal Languages And Automata Theory
Machine Theory
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • Space Invading Systems Code
  • Test Data Generation of Bytecode by CLP Partial Evaluation
  • A Modular Equational Generalization Algorithm
  • A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs
  • Analysis of Linear Hybrid Systems in CLP
  • Automatic Generation of Test Inputs for Mercury
  • Analytical Inductive Functional Programming
  • The MEB and CEB Static Analysis for CSP Specifications
  • Fast Offline Partial Evaluation of Large Logic Programs
  • An Inference Algorithm for Guaranteeing Safe Destruction
  • From Monomorphic to Polymorphic Well-Typings and Beyond
  • On Negative Unfolding in the Answer Set Semantics

Similar Items