Skip to main content
SpringerLink
Log in
Book cover

Static Analysis

Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. Patrick Cousot
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Moreno Falaschi
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Gilberto Filé
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Antoine Rauzy
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 724)

Included in the following conference series:

Conference proceedings info: WSA 1993.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Front Matter

    Download chapter PDF

  2. The impact of granularity in abstract interpretation of Prolog

    • Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel
    Pages 1-14

  3. Optimization techniques for general purpose fixpoint algorithms practical efficiency for the abstract interpretation of Prolog

    • Baudouin Le Charlier, Olivier Degimbe, Laurent Michel, Pascal Van Hentenryck
    Pages 15-26

  4. Chaotic fixpoint iteration guided by dynamic dependency

    • Niels JØrgensen
    Pages 27-44

  5. Fast abstract interpretation using sequential algorithms

    • Alex Ferguson, John Hughes
    Pages 45-59

  6. Abstract interpretation and verification of reactive systems

    • J. C. Fernandez
    Pages 60-71

  7. Semantics and analysis of linda-based languages

    • Régis Cridlig, Eric Goubault
    Pages 72-86

  8. Compiling FX on the CM-2

    • Jean-Pierre Talpin, Pierre Jouvelot
    Pages 87-98

  9. Combining dependability with architectural adaptability by means of the signal language

    • Olivier MaffeÏs, Paul Le Guernic
    Pages 99-110

  10. Challenges in developing useful and practical static analysis for logic programs

    • Peter van Roy
    Pages 111-111

  11. Occam's razor in metacomputation: the notion of a perfect process tree

    • Robert Glück, Andrei V. Klimov
    Pages 112-123

  12. Tupling functions with multiple recursion parameters

    • Wei-Ngan Chin, Siau-Cheng Khoo
    Pages 124-140

  13. Avoiding repeated tests in pattern matching

    • Peter Thiemann
    Pages 141-152

  14. Freeness, sharing, linearity and correctness — All at once

    • M. Bruynooghe, M. Codish
    Pages 153-164

  15. Synthesis of directionality information for functional logic programs

    • Johan Boye, Jukka Paakki, Jan Małuszyński
    Pages 165-177

  16. Abstract rewriting

    • Didier Bert, Rachid Echahed, Bjarte M. Østvold
    Pages 178-192

  17. Reflections on program optimization

    • Paul Hudak
    Pages 193-193

  18. Finiteness conditions for strictness analysis

    • Flemming Nielson, Hanne Riis Nielson
    Pages 194-205

  19. Strictness properties of lazy algebraic datatypes

    • P. N. Benton
    Pages 206-217

  20. Minimal thunkification

    • Torben Amtoft
    Pages 218-229
Back to top

Other volumes

  1. Static Analysis

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation