close
1.

図書

図書
Olivier Danvy, Andrzej Filinski (eds.)
出版情報: Berlin : Springer, c2001  viii, 277 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2053
所蔵情報: loading…
目次情報: 続きを見る
Invited Opening Talk
Program Analysis for Implicit Computational Complexity / Neil D. Jones
Contributed Papers
Deriving Pre-conditions for Array Bound Check Elimination / Wei-Ngan Chin ; Siau-Cheng Khoo ; Dana N. Xu
Type Systems for Useless-Variable Elimination / Adam Fischbach ; John Hannan
Boolean Constraints for Binding-Time Analysis / Kevin Glynn ; Peter J. Stuckey ; Martin Sulzmann ; Harald Søndergaard
Constraint Abstractions / Jorgen Gustavsson ; Josef Svenningsson
Implementing Circularity Using Partial Evaluation / Julia L. Lawall
Combining Forward and Backward Analyses of Temporal Properties / Damien Massé
Numerical Power Analysis / Isabella Mastroeni
Run-Time Bytecode Specialization / Hidehiko Masuhara ; Akinori Yonezawa
A New Numerical Abstract Domain Based on Difference-Bound Matrices / Antoine Miné
Partial Evaluation for Class-Based Object-Oriented Languages / Ulrik P. Schultz
Driving in the Jungle / Jens Peter Secher
Higher-Order Pattern Matching for Automatically Applying Fusion Transformations / Ganesh Sittampalam ; Oege de Moor
Dynamic Partial Evaluation / Gregory T. Sullivan
Tag Elimination and Jones-Optimality / Walid Taha ; Henning Makholm ; John Hughes
Invited Closing Talk
Bottom-Up Deduction with Deletion and Priorities / Harald Ganzinger
Author Index
Invited Opening Talk
Program Analysis for Implicit Computational Complexity / Neil D. Jones
Contributed Papers
2.

図書

図書
阿部圭一編
出版情報: 東京 : オーム社, 1999.3  viii, 157p ; 21cm
シリーズ名: インターユニバーシティ
所蔵情報: loading…
3.

図書

図書
井田昌之 [ほか] 著
出版情報: 東京 : 共立出版, 2000.2  vii, 227p ; 22cm
所蔵情報: loading…
4.

図書

図書
H・M・ダイテル, P・J・ダイテル著 ; 小嶋隆一訳
出版情報: 東京 : プレンティスホール出版, 1998.1  xxvii, 610p ; 23cm
シリーズ名: Computer science textbook
所蔵情報: loading…
5.

図書

図書
岩堀祐之, 高木浩光, 李鼎超共著
出版情報: 東京 : 培風館, 1997.10  x, 175p ; 26cm
所蔵情報: loading…
6.

図書

図書
Chris Corry [ほか] 著 ; 日本ドキュメンテックス訳
出版情報: 東京 : アスキー, 1999.9  574p ; 26cm
シリーズ名: ASCII books ; Ascii Windows programming series
所蔵情報: loading…
7.

図書

図書
Sriram Srinivasan著 ; 須田隆久訳
出版情報: 東京 : オライリー・ジャパン , 東京 : オーム社 (発売), 1998.11  xxxiii, 475p ; 24cm
所蔵情報: loading…
8.

図書

図書
和田公人著
出版情報: 東京 : オーム社, 1998-1999  2冊 ; 26cm
所蔵情報: loading…
9.

図書

図書
戸川隼人著
出版情報: 東京 : サイエンス社, 2007.10  v, 239p ; 21cm
シリーズ名: NSライブラリ ; 17
所蔵情報: loading…
10.

図書

図書
バートランド・メイヤー著 ; 酒匂寛訳
出版情報: [東京] : 翔泳社, 2008.8  xliv, 754p ; 21cm
シリーズ名: IT architects' archive ; . Classic modern computing
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼