Search Results - Computer james Programming Computer programs.

Link to ProQuest copy
Link to OAKTrust copy

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. ...”
Connect to the full text of this electronic book

Connect to the full text of this electronic book

Get full text

Connect to the full text of this online report
Connect to the project summary

Publisher description
Table of contents only

Get full text

Connect to this electronic resource

Connect to the full text of this electronic book

Connect to the full text of this electronic book

Get full text

Connect to this streaming video (Alexander Street Press)

Connect to the full text of this electronic book