Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Semantics, Applications, and Implementation of Program Generation

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

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Walid Taha

    1. Department of Computer Science Eklandagatan 86, Chalmers University of Technology, Gothenburg, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  3. Technical Papers

    1. Compiling Embedded Languages

      • Conal Elliott, Sigbjørn Finne, Oege de Moor
      Pages 9-26

    2. Lightweight and Generative Components II: Binary-Level Components

      • Sam Kamin, Miranda Callahan, Lars Clausen
      Pages 28-49

    3. Fragmental Specialization

      • Simon Helsen, Peter Thiemann
      Pages 51-71

    4. A New Termination Approach for Specialization

      • Litong Song, Yoshihiko Futamura
      Pages 72-91

    5. Multi-stage Imperative Languages: A Conservative Extension Result

      • Cristiano Calcagno, Eugenio Moggi1
      Pages 92-107

    6. Specification and Correctness of Lambda Lifting

      • Adam Fischbach, John Hannan
      Pages 108-128

    7. On Jones-Optimal Specialization for Strongly Typed Languages

      • Henning Makholm
      Pages 129-148

  4. Position Papers

    1. Pragmatic Aspects of Reusable Program Generators Position Paper

      • Norman Ramsey
      Pages 149-171

    2. Type-Based Useless-Code Elimination for Functional Programs Position Paper

      • Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini
      Pages 172-189

    3. Code Generators for Automatic Tuning of Numerical Kernels: Experiences with FFTW Position Paper

      • Richard Vuduc, James W. Demmel
      Pages 190-211

    4. Generating Data Analysis Programs from Statistical Models

      • Bernd Fischer, Johann Schumann, Tom Pressburger
      Pages 212-229

  5. Back Matter

    Pages 231-231
    Download chapter PDF
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Department of Computer Science Eklandagatan 86, Chalmers University of Technology, Gothenburg, Sweden

    Walid Taha

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation