Skip to main content
SpringerLink
Log in

Abstract interpretation for improving WAM code

  • Posters
  • Conference paper
  • First Online:
Static Analysis (SAS 1997)

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

Included in the following conference series:

  • 86 Accesses

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

Access this chapter

Log in via an institution

Institutional subscriptions

Author information

Authors and Affiliations

  1. Dept. of Pure and Applied Mathematics, University of Padova, Via Belzoni 7, I-35131, Padova, Italy

    Dante Baldan & Gilberto Filé

Authors
  1. Dante Baldan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gilberto Filé
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Pascal Van Hentenryck

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Baldan, D., Filé, G. (1997). Abstract interpretation for improving WAM code. In: Van Hentenryck, P. (eds) Static Analysis. SAS 1997. Lecture Notes in Computer Science, vol 1302. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0032754

Download citation

  • DOI: https://doi.org/10.1007/BFb0032754

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63468-3

  • Online ISBN: 978-3-540-69576-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation