Tools

LEADER 02771cam 2200397 a 4500

001 ocm39633548;

003 OCoLC;

005 20141212131245.0;

008 980729s1998 gw a b 101 0 eng ;

010 a| 98030696;

015 a| GB98-68989;

019 a| 40051560;

020 a| 3540649255 (acid-free paper);

035 a| (Sirsi) o39633548;

035 a| (OCoLC)39633548;

049 a| EREE;

050 00 a| QA76.76.C65b| T52 1998;

082 00 a| 005.4/532| 21;

111 2 a| TIC (Conference)=| ^A406780;

245 10 a| Types in compilation :b| second international workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 : proceedings /c| Xavier Leroy, Atsushi Ohori (eds.).;

300 a| viii, 297 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1473;

504 a| Includes bibliographical references and index.;

505 0 a| Compiling Java to a typed lambda-calculus : a preliminary report / Andrew Wright ... [et al.] -- Stack-based typed assembly language / Greg Morrisett ... [et al.] -- How generic is a generic back end? Using MLRISC as a back end for the TIL compiler / Andrew Bernard, Robert Harper, Peter Lee -- A toolkit for constructing type-and constraint-based program analyses / Alexander Aiken ... [et al.] -- Optimizing ML using a hierarchy of monadic types / Andrew Tolmach -- Type-directed continuation allocation / Zhong Shao, Valery Trifonov -- Polymorphic equality : no tags required / Martin Elsman --Optimal type lifting / Bratin Saha, Zhong Shao -- Formalizing resource allocation in a compiler / Peter Thiemann -- An approach to improve locality using sandwich types / Daniela Genius, Martin Trap, Wolf Zimmermann -- Garbage collection via dynamic type inference : a formal treatment ... / Haruo Hosoya, Akinori Yonezawa -- Strong normalization by type-directed partial evaluation and run-time code generation / Vincent Balat, Olivier Danvy -- Determination of dynamic method dispaches using run-time code generation / Nobuhisa Fujinami -- Type-based analysis of concurrent programs / Naoki Kobayashi -- A type-based semantics for user-defined marshalling in polymorphic languages / Dominic Duggan.;

650 0 a| Compiling (Electronic computers)v| Congresses.=| ^A18145;

700 1 a| Leroy, Xavier,d| 1968-=| ^A406781;

700 1 a| Ohori, Atsushi,d| 1957-=| ^A406782;

830 0 a| Lecture notes in computer sciencev| 1473.=| ^A466336;

596 a| 1;

998 a| 647152;

999 a| QA76.76.C65 T52 1998w| LCc| 1i| 30372010236526d| 2/19/2013f| 2/19/2013g| 2l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 3/25/1999x| BOOKz| JSTACKSo| .STAFF. 0;

Types in compilation : second international workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 : proceedings / Xavier Leroy, Atsushi Ohori (eds.).

Author/creator	TIC (Conference)
Other author	Leroy, Xavier, 1968-
Other author	Ohori, Atsushi, 1957-
Format	Book
Publication Info	Berlin ; New York : Springer, ©1998.
Description	viii, 297 pages : illustrations ; 24 cm.
Subjects	Compiling (Electronic computers)--Congresses.

Series	Lecture notes in computer science ; 1473 Lecture notes in computer science 1473. ^A466336
Contents	Compiling Java to a typed lambda-calculus : a preliminary report / Andrew Wright ... [et al.] -- Stack-based typed assembly language / Greg Morrisett ... [et al.] -- How generic is a generic back end? Using MLRISC as a back end for the TIL compiler / Andrew Bernard, Robert Harper, Peter Lee -- A toolkit for constructing type-and constraint-based program analyses / Alexander Aiken ... [et al.] -- Optimizing ML using a hierarchy of monadic types / Andrew Tolmach -- Type-directed continuation allocation / Zhong Shao, Valery Trifonov -- Polymorphic equality : no tags required / Martin Elsman --Optimal type lifting / Bratin Saha, Zhong Shao -- Formalizing resource allocation in a compiler / Peter Thiemann -- An approach to improve locality using sandwich types / Daniela Genius, Martin Trap, Wolf Zimmermann -- Garbage collection via dynamic type inference : a formal treatment ... / Haruo Hosoya, Akinori Yonezawa -- Strong normalization by type-directed partial evaluation and run-time code generation / Vincent Balat, Olivier Danvy -- Determination of dynamic method dispaches using run-time code generation / Nobuhisa Fujinami -- Type-based analysis of concurrent programs / Naoki Kobayashi -- A type-based semantics for user-defined marshalling in polymorphic languages / Dominic Duggan.
Bibliography note	Includes bibliographical references and index.
LCCN	98030696
ISBN	3540649255 (acid-free paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.76.C65 T52 1998	✔ Available	Place Hold

Types in compilation : second international workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 : proceedings / Xavier Leroy, Atsushi Ohori (eds.).

Click here for more information about this title

Availability