Moreno Falaschi - Böcker
Visar alla böcker från författaren Moreno Falaschi. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 9527 - Lecture Notes in Computer Science
Logic-Based Program Synthesis and Transformation
25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Häftad, Engelska, 2015
552 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereedpost-conference proceedings of the 25th International Symposium on Logic-BasedProgram Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, inJuly 2015. The 21 revised full papers presented together with 3invited talks were carefully reviewed and selected from 30 submissions.
Static Analysis
Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings
Häftad, Engelska, 1993
552 kr
Skickas inom 10-15 vardagar
This volume constitutes the proceedings of the thirdInternational Workshop on Static Analysis (WSA'93), held inPadova, Italy, in September 1993. The objective of theinternational workshop series WSA is to serve as a forum forthe discussion of the various aspects of static analysis indifferent programming paradigms. The clearly increasingmumbers of submitted papers and workshop participants pointout the growing importance of static analysis techniques forlogical, functional, concurrent and parallel languages aswell as for parallel term rewriting systems. This proceedings contains, besides the abstracts or fullpapers of the invited talks given by Pascal Van Hentenryck,Peter van Roy, and Paul Hudak, full versions of the 20contributed papers selected from a total of 68 submissionsby an international program committee consisting of manyrenown researchers in the field. The volume is organized insections on fixpoint computation, concurrency, parallelism,transformation, logic programs, term rewriting systems,strictness, reasoning about programs, and types.