Copied Static Analysis
Static Analysis
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Mobility, Migration and Transport
$59.99
Serotonin und akustisch evozierte Potentiale
$69.99
Renewable Energy Resources and Conservation
$129.00
Estrogen Receptors
$119.00
Wellbeing and Transitions in Law
$169.99
Rechnerstrukturen und Rechnerarchitekturen
$59.99
Hilbert
$37.99
Social Justice and Education in the 21st Century
$169.00
Migration and Discrimination
$22.99
Artificial Intelligence for Biology and Agriculture
$169.99
Postcolonialism in the Wake of the Nairobi Revolution
$54.99
Programming Basics
$49.99
vielfltige Lebensweisen
$69.99
Management der Kreislaufwirtschaft
$17.99
Quantum Field Theory and String Theory
$39.99
Microtectonics
$54.99
Semiconductor Modeling:
$129.00
Field Programmable Logic and Applications
$39.99
Shape and Layout Optimization of Structural Systems and Optimality Criteria Methods
$54.99
King and the Dragonflies (Hardcover)
$13.49
Plato and the Times He Lived in
$54.99
Non-Orthogonal Multiple Access for Massive Connectivity
$54.99
Pathologie der ableitenden Harnwege und der Prostata
$54.99
The European Union and the International Legal Order:Discord or Harmony?
$169.99
Intimately Situated Stories of Place
$169.99
Handbook of Lifelong Learning for Sustainable Development
$249.99
Links Between Beliefs and Cognitive Flexibility
$109.99
Doing Indefinite Time
$49.99
Recent Advances in Materials
$169.00
Old MacDonald Had a Spooky Farm
$7.49
Nasal Polyposis
$109.99
Adaptive Multimedia Retrieval: User, Context, and Feedback
$54.99
Applied and Industrial Mathematics, Venice2, 1998
$84.99
Infection Prevention
$84.99
Kommunikation als Basis wirkungsvollen Fhrungskrfte-Coachings
$89.99
Advances in Production Management Systems. Smart Manufacturing for Industry 4.0
$139.99
Mean Curvature Flow and Isoperimetric Inequalities
$39.95
Trends in Manufacturing and Engineering Management
$169.99
A Colour Atlas of Salmonid Diseases
$199.99
Indigenous Cultures and Sustainable Development in Latin America
$99.99
