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

by Saig 200 (2000 Montreal, Quebec); Taha, Walid; Taha, Walid

• ISBN13: 9783540410546
• ISBN10: 3540410546
• Format: Paperback
• Copyright: 2000-10-01
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 5th International Conference on Intelligent Tutoring Systems, ITS 2000, held in Montreal, Canada, in June 2000.The 61 revised papers presented were carefully reviewed and selected from 110 submissions; also included are 6 invited presentations, 17 posters, and 7 workshop descriptions. The papers are organized in topical sections on agent-based tutoring systems, architectures for ITS, authoring systems, cognitive approaches, cooperative systems, distributed learning environments, evaluation of instructional systems, intelligent distance learning, intelligent multimedia and hypermedia systems, instructional design, learning environments, student modeling, teaching and learning strategies, and Web-based training systems.

Table of Contents

Invited Talks
Implementing Closed Domain-Specific Languages	1	(2)
Richard B. Kieburtz
Refinements and Product Line Architectures	3	(2)
Don Batory
Reasoning About Staged Computation	5	(2)
Frank Pfenning
Specialization of Systems Programs: Lessons and Perspectives	7	(2)
Gilles Muller
Technical Papers
Compiling Embedded Languages	9	(19)
Conal Elliott
Sigbjorn Finne
Lightweight and Generative Components II: Binary-Level Components	28	(23)
Sam Kamin
Miranda Callahan
Lars Clausen
Fragmental Specialization	51	(21)
Simon Helsen
Peter Thiemann
A New Termination Approach for Specialization	72	(20)
Litong Song
Yoshihiko Futamura
Multi-Stage Imperative Languages: A Conservative Extension Result	92	(16)
Cristiano Calcagno
Eugenio Moggi
Specification and Correctness of Lambda Lifting	108	(21)
Adam Fischbach
John Hannan
On Jones-Optimal Specialization for Strongly Typed Languages	129	(20)
Henning Makholm
Position Papers
Pragmatic Aspects of Reusable Program Generators	149	(23)
Norman Ramsey
Type-Based Useless-Code Elimination for Functional Programs	172	(18)
Stefano Berardi
Marrio Coppo
Ferruccio Damiani
Paola Giannini
Code Generators for Automatic Tuning of Numerical Kernels: Experiences with FFTW	190	(22)
Richard Vuduc
James W. Demmel
Generating Data Analysis Programs from Statistical Models	212	(19)
Bernd Fischer
Johann Schumann
Tom Pressburger
Author Index	231