Advertisement

Abstract interpretation for improving WAM code

  • Dante Baldan
  • Gilberto Filé
Posters
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1302)

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Dante Baldan
    • 1
  • Gilberto Filé
    • 1
  1. 1.Dept. of Pure and Applied MathematicsUniversity of PadovaPadovaItaly

Personalised recommendations