{"product_id":"9783540572640","title":"Lecture Notes in Computer Science: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings\u003c\/h1\u003e \u003ch2\u003eCousot, Patrick; Falaschi, Moreno; File, Gilberto; Rauzy, Antoine\u003c\/h2\u003e \u003cp\u003eThis volume constitutes the proceedings of the third\nInternational Workshop on Static Analysis (WSA`93), held in\nPadova, Italy, in September 1993. The  objective of the\ninternational workshop series WSA is to serve as a forum   for\nthe discussion of the various aspects of static analysis                in\ndifferent programming paradigms. The clearly increasing\nmumbers of   submitted papers and workshop participants point\nout the growing importance of static analysis techniques for\nlogical, functional, concurrent and       parallel languages as\nwell as for parallel term rewriting systems.\nThis proceedings contains, besides the abstracts or full\npapers of the invited   talks given by Pascal Van Hentenryck,\nPeter van Roy, and Paul Hudak, full   versions of the 20\ncontributed papers selected from a total of 68           submissions\nby an international program committee consisting of             many\nrenown researchers in the field. The volume is organized               in\nsections on fixpoint computation, concurrency,                           parallelism,\ntransformation, logic programs, term rewriting                 systems,\nstrictness, reasoning about programs, and types.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-09-08\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540572640\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-57264-3\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 290\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370080395404,"sku":"9783540572640","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540572640.jpg?v=1773970103","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540572640","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}