Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings: 724 (Lecture Notes in Computer Science, 724) - Softcover
Synopsis
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.
Other Popular Editions of the Same Title
Search results for Static Analysis: Third International Workshop, WSA...
Stock Image
Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings (Lecture Notes in Computer Science, 724)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540572640_new
Buy New
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Static Analysis
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1993, 1993
ISBN 10: 3540572643
ISBN 13: 9783540572640
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 300 pp. Englisch. Seller Inventory # 9783540572640
Seller Image
Static Analysis
Published by
Springer Berlin Heidelberg, 1993
ISBN 10: 3540572643
ISBN 13: 9783540572640
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Seller Inventory # 4894245
Buy New
£ 42.55
£ 41.84 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Static Analysis
Published by
Springer, Springer Sep 1993, 1993
ISBN 10: 3540572643
ISBN 13: 9783540572640
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 HentenryckPeter 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, parallelismtransformation, logic programs, term rewriting systemsstrictness, reasoning about programs, and types.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 300 pp. Englisch. Seller Inventory # 9783540572640
Seller Image
Static Analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783540572640
Seller Image
Static Analysis | Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Static Analysis | Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings | Patrick Cousot (u. a.) | Taschenbuch | x | Englisch | 1993 | Springer | EAN 9783540572640 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Seller Inventory # 102132157