Semantics, Applications, and Implementation of Program Generation

International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings

  • Walid Taha
Conference proceedings SAIG 2000

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

Table of contents

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

  3. Technical Papers

    1. Conal Elliott, Sigbjørn Finne, Oege de Moor
      Pages 9-26
    2. Sam Kamin, Miranda Callahan, Lars Clausen
      Pages 28-49
    3. Simon Helsen, Peter Thiemann
      Pages 51-71
    4. Litong Song, Yoshihiko Futamura
      Pages 72-91
    5. Cristiano Calcagno, Eugenio Moggi1
      Pages 92-107
    6. Adam Fischbach, John Hannan
      Pages 108-128
  4. Position Papers

    1. Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini
      Pages 172-189
    2. Bernd Fischer, Johann Schumann, Tom Pressburger
      Pages 212-229
  5. Back Matter
    Pages 231-231

About these proceedings

Introduction

This book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 2000. The seven revised full papers and four position papers presented together with four invited abstracts were carefully reviewed and selected from 20 submissions. Among the topics addressed are multi-stage programming languages, compilation of domain-specific languages and module systems, program transformation, low-level program generation, formal specification, termination analysis, and type-based analysis.

Keywords

Programming logic formal specification program analysis program construction program generation program semantics program transformation programming programming language programming languages programming languages implementation semantics

Editors and affiliations

  • Walid Taha
    • 1
  1. 1.Department of Computer Science Eklandagatan 86Chalmers University of TechnologyGothenburgSweden

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45350-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41054-6
  • Online ISBN 978-3-540-45350-5
  • Series Print ISSN 0302-9743
  • About this book