We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

- 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

part of the Theoretical Computer Science and General Issues series

part of the Lecture Notes in Computer Science series

Logic-Based Program Synthesis and Transformation Save 17% from RPP Save 17%
About Logic-Based Program Synthesis and Transformation

The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.

Show more
  • Language:
  • English
  • ISBN:
  • 9783319178219
  • Binding:
  • Paperback
  • Pages:
  • 333
  • Published:
  • May 3, 2015
  • Edition:
  • 2015
  • Dimensions:
  • 155x235x18 mm.
  • Weight:
  • 534 g.
Delivery: 2-4 weeks
Expected delivery: December 19, 2024

Description of Logic-Based Program Synthesis and Transformation

The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.

User ratings of Logic-Based Program Synthesis and Transformation



Others also bought..
Find similar books
The book Logic-Based Program Synthesis and Transformation can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.