Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers (Paperback, 2015 ed.)
Loot Price: R1,537
Discovery Miles 15 370
|
|
Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers (Paperback, 2015 ed.)
Series: Theoretical Computer Science and General Issues, 8981
Expected to ship within 10 - 15 working days
|
This book constitutes the thoroughly refereed post-conference
proceedings of the 24th International Symposium on Logic-Based
Program Synthesis and Transformation, LOPSTR 2014, held in
Canterbury, UK, in September 2014. The 18 revised full papers
presented together with 2 invited talks were carefully reviewed and
selected from 34 submissions. The aim of the LOPSTR series is to
stimulate and promote international research and collaboration on
logic-based program development. 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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.