Published 2000
Table of Contents:
“...Kieburtz -- Refinements and product line architectures / Don Batory -- Reasoning about staged
computation / Frank Pfenning -- Specialization of systems
programs / Gilles Muller -- Compiling embedded languages/ Conal Elliott, Sigbjørn Finne, and Oege de Moor -- Lightweight and generative components II: binary-level components / Sam Kamin, Miranda Callahan, and Lars Clausen -- Fragmental specialization / Simon Helsen and Peter Thiemann -- A new termination approach for specialization / Litong Song and Yoshihiko Futamura -- Multi-stage imperative languages / Cristiano Calcagno and Eugenio Moggi -- Specification and correctness of lambda lifting / Adam Fischbach and John Hannan -- On Jones-optimal specialization for strongly typed languages / Henning Makholm -- Pragmatic aspects of reusable
program generators / Norman Ramsey -- Type-based useless-code elimination for functional
programs / Stefano Berardi [and others] -- Code generators for automatic tuning of numerical kernels: experiences with FFTW / Richard Vuduc and
James W. ...
”
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook