Logic-Based Program Synthesis and Transformation: 23rd International Symposium, Lopstr 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Pa

Specification.- Synthesis.- Verification.- Analysis.- Optimization.- Specialization.- Security.- Certification.- Applications and tools.- Program/model manipulation.- Transformation techniques for any programming language paradigm.

• Format: Paperback
• Language: English
• ISBN: 3319141244
• ISBN13: 9783319141244
• Release Date: December 2014
• Publisher: Springer
• Length: 237 Pages
• Weight: 0.79 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"