Skip to main content
  • Conference proceedings
  • © 1998

Static Analysis

5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings

Editors:

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

Conference series link(s): SAS: International Static Analysis Symposium

Conference proceedings info: SAS 1998.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

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

Table of contents (23 papers)

  1. Optimization

    1. A New Solution to the Hidden Copy Problem

      • Deepak Goyal, Robert Paige
      Pages 327-348
  2. Tutorials

    1. Program Analysis as Model Checking of Abstract Interpretations

      • David Schmidt, Bernhard Steffen
      Pages 351-380
  3. Invited Talks

    1. Certifying, Optimizing Compilation

      • Peter Lee
      Pages 381-381
  4. Back Matter

    Pages 383-383

Other Volumes

  1. Static Analysis

Editors and Affiliations

  • Dipartimento di Informatica, Università di Pisa, Pisa, Italy

    Giorgio Levi

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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