Items related to Static Analysis: Third International Workshop, Wsa...
Static Analysis: Third International Workshop, Wsa '93, Padova, Italy, September 1993 : Proceedings (Lecture Notes in Computer Science) - Softcover
This volume constitutes the proceedings of the third International Workshop on Static Analysis (WSA`93), held in Padova, Italy, in September 1993. The objective of the international workshop series WSA is to serve as a forum for the discussion of the various aspects of static analysis in different programming paradigms. The clearly increasing mumbers of submitted papers and workshop participants point out the growing importance of static analysis techniques for logical, functional, concurrent and parallel languages as well as for parallel term rewriting systems. This proceedings contains, besides the abstracts or full papers of the invited talks given by Pascal Van Hentenryck, Peter van Roy, and Paul Hudak, full versions of the 20 contributed papers selected from a total of 68 submissions by an international program committee consisting of many renown researchers in the field. The volume is organized in sections on fixpoint computation, concurrency, parallelism, transformation, logic programs, term rewriting systems, strictness, reasoning about programs, and types.
"synopsis" may belong to another edition of this title.
- PublisherSpringer Verlag
- Publication date1993
- ISBN 10 0387572643
- ISBN 13 9780387572642
- BindingPaperback
- Number of pages283
- EditorRauzy Antoine
Top Search Results from the AbeBooks Marketplace
Stock Image
Static Analysis: Third International Workshop, Wsa '93, Padova, Italy, September 1993 : Proceedings (Lecture Notes in Computer Science 724)
Seller:
Rating
Book Description Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, April 29 (sale item)* 283 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB717427
Buy Used
US$ 14.91
Convert currency
Stock Image
Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24 1993 Proceedings (Lecture Notes in Computer Science 724)
Published by
Springer-Verlag, Berlin
(1993)
ISBN 10: 0387572643
ISBN 13: 9780387572642
Used
paperback
Quantity: 1
Seller:
Rating
Book Description paperback. Condition: Very Good. Dust Jacket Condition: No Dust Jacket. Lecture Notes in Computer Science 724; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library. Seller Inventory # 094682
Buy Used
US$ 8.63
Convert currency