Logic-Based Program Synthesis and Transformation: 23rd.

Presents papers from the 10th Intl Workshop, LOPSTR 2000, held in London, UK, July 2428, 2000. Synthesis, transformation, analysis, specialization, and abstract interpretation are discussed. Softcover.

 
 
 
41NYw19eGaL