Semantics, Applications, and Implementation of Program Generation : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings

>> Google Books

Semantics, Applications, and Implementation of Program Generation : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings / edited by Walid Taha

版:

1st ed. 2000

資料種別:

電子ブック

形態:

VIII, 229 p.

シリーズ名:

Lecture Notes in Computer Science ; 1924

著者名:

ISBN:

9783540453505 [3540453504]
9783662205167 [3662205165]
9783540410546 [3540410546]

書誌ID:

EB00004676

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

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.

主題:

Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Programming Techniques; Software Engineering

目次情報:

Invited Talks

Implementing Closed Domain-Specific Languages / Richard B. Kieburtz

Refinements and Product Line Architectures / Don Batory

Reasoning about Staged Computation / Frank Pfenning

Specialization of Systems Programs: Lessons and Perspectives / Gilles Muller

Technical Papers

Compiling Embedded Languages / Conal Elliott ; SigbjÃ¸rn Finne ; Oege de Moor

Liglitweight and Generative Components IL Binary-Level Components / Sam Kamin ; Miranda Callahan ; Lars Clausen

Fragmental Specialization / Simon Helsen ; Peter Thiemann

A New Termination Approach for Specialization / Litong Song ; Yoshihiko Futamura

Multi-stage Imperative Languages: A Conservative Extension Result / Cristiano Calcagno ; Eugenio Moggi

Specification and Correctness of Lambda Lifting / Adam Fischbach ; John Hannan

On Jones-Optimal Specialization for Strongly Typed Languages / Henning Makholm

Position Papers

Pragmatic Aspects of Reusable Program Generators / Norman Ramsey

Type-Based Useless-Code Elimination for Functional Programs / Stefano Berardi ; Marrio Coppo ; Ferruccio Damiani ; Paola Giannini

Code Generators for Automatic Tuning of Numerical Kernels: Experiences with FFTW / Richard Vuduc ; James W. Demmel

Generating Data Analysis Programs from Statistical Models / Bernd Fischer ; Johann Schumann ; Tom Presshurger

Author Index

Invited Talks

Implementing Closed Domain-Specific Languages / Richard B. Kieburtz

Refinements and Product Line Architectures / Don Batory

Reasoning about Staged Computation / Frank Pfenning

Specialization of Systems Programs: Lessons and Perspectives / Gilles Muller

Technical Papers

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Semantics, Applications, and Implementation of Program Generation : Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings Taha, Walid., SpringerLink (Online service)	7 電子ブック Programming Language Implementation and Logic Programming : International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings Deransart, Pierre., Maluszynski, Jan., SpringerLink (Online service)
2 電子ブック Principles and Practice of Constraint Programming - CP 2004 : 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings Wallace, Mark., SpringerLink (Online service)	8 電子ブック Static Analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings Hermenegildo, Manuel., Puebla, German., SpringerLink (Online service)
3 電子ブック Logic Programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings Demoen, Bart., Lifschitz, Vladimir., SpringerLink (Online service)	9 電子ブック Principles and Practice of Constraint Programming - CP '95 : First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings Montanari, Ugo., Rossi, Francesca., SpringerLink (Online service)
4 図書 Semantics, applications, and implementation of program generation : International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings SAIG, Taha, Walid, 1972- Springer	10 電子ブック Mathematics of Program Construction : 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings Backhouse, Roland., Nuno Oliveira, Jose., SpringerLink (Online service)
5 電子ブック Programming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings Bruynooghe, Maurice., Penjam, Jaan., SpringerLink (Online service)	11 電子ブック Logic Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings Proietti, Maurizio., SpringerLink (Online service)
6 電子ブック Principles and Practice of Constraint Programming - CP 2002 : 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings Hentenryck, Pascal Van., SpringerLink (Online service)	12 電子ブック Programming Languages: Implementations, Logics and Programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. … Hermenegildo, Manuel., Swierstra, S.Doaitse., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12