Semantics, Applications, and Implementation of Program Generation

Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings

  • Walid Taha
Conference proceedings SAIG 2001

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Talks

  3. Technical Papers

    1. Patricia Johann
      Pages 47-71
    2. Isao Sasano, Zhenjiang Hu, Masato Takeichi
      Pages 72-91
    3. Daniel Damian, Olivier Danvy
      Pages 92-107
    4. Olivier Danvy, Bernd Grobauer, Morten Rhiger
      Pages 108-125
    5. David Wakeling
      Pages 146-161
  4. Position Papers

    1. Gianluigi Ferrari, Eugenio Moggi, Rosario Pugliese
      Pages 183-198
    2. Christoph A. Herrmann, Christian Lengauer
      Pages 199-218
  5. Back Matter
    Pages 219-219

About these proceedings


This volume constitutes the proceedings of the second International Workshop on the Semantics, Applications, and Implementation of Program Generation (SAIG 2001)held on 6 September, 2001, in Florence, Italy. SAIG 2001 was held as an ACM SIGPLAN workshop co-located with the International Conference on Principles, Logics, and Implementations of High-level Programming Languages (PLI). As the commercial production of software systems moves toward being a traditional industry, automation will necessarily play a more substantial role in this industry, just as it plays a key role in the production of traditional commodities. SAIG aims at promoting the development and the application of foundational techniques for supporting automatic program generation. A key goal of SAIG is to provide a unique forum for both theoreticians and practitioners to present their results and ideas to an audience from a diverse background. This year we are fortunate to have three in?uential invited speakers: Krzysztof Czarnecki (DaimlerChrysler), Tim Sheard (OGI School of Science and Engineering), and Mitchell Wand (Northeastern University). The proceedings include abstracts of the invited talks, and an invited paper by Tim Sheard. Seven technical papers and two position papers were presented at SAIG 2001.


Aspect-oriented programming Implementation Meta-Programming Program Analysis Program Construction Program Generation Program Semantics Program Transformation Programming Languages Programming Logic Programming Theory optimization programming semantics

Editors and affiliations

  • Walid Taha
    • 1
  1. 1.Department of Computer ScienceYale UniversityNew HavenUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42558-8
  • Online ISBN 978-3-540-44806-8
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment