Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
Der Band aus dem LOPSTR‑Symposium 2016 in Edinburgh fasst neueste Theorien zur logikbasierten Programmsynthese zusammen, beleuchtet innovative Trans ...