close
1.

図書

図書
edited by B. Roy
出版情報: Dordrecht ; Boston : D. Reidel Pub. Co., [1975]  xvi, 386 p. ; 25 cm
シリーズ名: NATO advanced study institutes series ; ser. C . Mathematical and physical sciences ; v. 19
所蔵情報: loading…
2.

図書

図書
Robert E. Bixby, E. Andrew Boyd, Roger Z. Ríos-Mercado (eds.)
出版情報: Berlin ; New York : Springer, c1998  ix, 435 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1412
所蔵情報: loading…
3.

図書

図書
Xavier Leroy, Atsushi Ohori (eds.)
出版情報: Berlin ; New York : Springer, c1998  viii, 297 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1473
所蔵情報: loading…
目次情報: 続きを見る
Introduction / Xavier Leroy
Typed intermediate languages
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report / Andrew Wright ; Suresh Jagannathan ; Cristian Ungureanu ; Aaron Hertzmann
Stack-Based Typed Assembly Language / Greg Morrisett ; Karl Crary ; Neal Glew ; David Walker
How Generic is a Generic Back End? Using MLRISC as a Back End for the TIL Compiler / Andrew Bernard ; Robert Harper ; Peter Lee
Program analysesA Toolkit for Constructing Type- and Constraint-Based Program Analyses (invited talk) / Alexander Aiken ; Manuel Fahndrich ; Jeffrey S. Foster ; Zhendong Su
Optimizing ML Using a Hierarchy of Monadic Types / Andrew Tolmach
Type-Directed Continuation Allocation / Zhong Shao
Valery Trifonov Program transformations and code generation
Polymorphic Equality
No Tags Required / Martin Elsman
Optimal Type Lifting Bratin Saha
Formalizing Resource Allocation in a Compiler / Peter Thiemann
Memory management
An Approach to Improve Locality Using Sandwich Types / Daniela Genius ; Martin Trapp ; Wolf Zimmermann
Garbage Collection via Dynamic Type Inference
A Formal Treatment / Haruo Hosoya
Akinori Yonezawa Partial evaluation and run-time code generation
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation / Vincent Balat ; Olivier Danvy
Determination of Dynamic Method Dispatches Using Run-Time Code Generation / Nobuhisa Fujinami
Distributed computingType-Based Analysis of Concurrent Programs (abstract of invited talk) / Naoki Kobayashi
A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages / Dominic Duggan
Introduction / Xavier Leroy
Typed intermediate languages
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report / Andrew Wright ; Suresh Jagannathan ; Cristian Ungureanu ; Aaron Hertzmann
4.

図書

図書
Egon Balas, Jens Clausen (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1995  x, 461 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 920
所蔵情報: loading…
5.

図書

図書
William H. Cunningham, S. Thomas McCormick, Maurice Queyranne (eds.)
出版情報: Berlin ; New York : Springer, c1996  x, 504 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1084
所蔵情報: loading…
6.

図書

図書
Karen Aardal, Bert Gerards (eds.)
出版情報: Berlin : Springer, c2001  xi, 421 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2081
所蔵情報: loading…
7.

図書

図書
Robert Harper (ed.)
出版情報: Berlin : Springer, c2001  206 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2071
所蔵情報: loading…
目次情報: 続きを見る
Types in Compilation
Sound and Complete Elimination of Singleton Kinds / Karl Crary
Program Representation Size in an Intermediate Language with Intersection and Union Types / Allyn Dimock ; Ian Westmacott ; Robert Muller ; Franklyn Turbak ; J.B. Wells ; Jeffrey Considine
An Abstract Model of Java Dynamic Linking and Loading / Sophia Drossopoulou
Sharing in Typed Module Assembly Language / Dominic Duggan
Scalable Certification for Typed Assembly Language / Dan Grossman ; Greg Morrisett
Safe and Flexible Dynamic Linking of Native Code / Michael Hicks ; Stephanie Weirich
Alias Types for Recursive Data Structures / David Walker
Author Index
Types in Compilation
Sound and Complete Elimination of Singleton Kinds / Karl Crary
Program Representation Size in an Intermediate Language with Intersection and Union Types / Allyn Dimock ; Ian Westmacott ; Robert Muller ; Franklyn Turbak ; J.B. Wells ; Jeffrey Considine
8.

図書

図書
Daniel Bienstock, George Nemhauser (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xi, 443 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3064
所蔵情報: loading…
9.

図書

図書
editor, P. Hansen
出版情報: Amsterdam ; New York : North-Holland, c1981  viii, 395 p. ; 24 cm
シリーズ名: Annals of discrete mathematics ; 11
North-Holland mathematics studies ; 59
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼