Logic-Based Program Synthesis and Transformation  23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /  [electronic resource] : 
edited by Gopal Gupta, Ricardo Peņa. 
 - Cham :  Springer International Publishing,  2014. 
 - 1 online resource (XII, 237 p. 51 ill.) 
 - Lecture Notes in Computer Science,  8901  0302-9743 ; .
<br/><br/>Specification -- Synthesis -- Verification -- Analysis -- Optimization -- Specialization -- Security -- Certification -- Applications and tools -- Program/model manipulation -- Transformation techniques for any programming language paradigm. 
<br/><br/><label>ISBN: </label>9783319141251 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer programming.<br/>Software engineering.<br/>Computer logic.<br/>Mathematical logic.<br/>Computer science--Mathematics.<br/>Artificial intelligence.