Tallenna
Logic Program Synthesis and Transformation
Logic program synthesis and transformation play a vital role in the automation of the software production process. This volume of conference proceedings surveys the research in progress and discusses new trends in logic program development and related areas.
- Alaotsikko
- Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 1993
- Toimittaja
- Yves Deville
- Painos
- Softcover reprint of the original 1st ed. 1994
- ISBN
- 9783540198642
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 28.1.1994
- Sivumäärä
- 245
