close
1.

図書
図書
1. Proceedings, 14th IEEE Symposium on Computer Arithmetic, April 14-16, 1999, Adelaide, Australia (: case)
edited by Israel Koren ; sponsored by IEEE Computer Society Technical Committee on VLSI
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1999  xi, 274 p. ; 29 cm
所蔵情報: loading…
2.

図書
図書
2. Proceedings of the thirty-first annual ACM symposium on Theory of Computing, Atlanta, Georgia, May 1-4, 1999
sponsored by The ACM special interest group for Algorithms and Computation Theory
出版情報: New York, N.Y. : ACM, c1999  xi, 790 p. ; 28 cm
所蔵情報: loading…
3.

図書
図書
3. Static analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings
Giorgio Levi (ed.)
出版情報: Berlin ; New York : Springer, c1998  ix, 380 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1503
所蔵情報: loading…
目次情報: 続きを見る
Data-Flow Analysis
Bidirectional Data Flow Analysis in Code Motion: Myth and Reality / Oliver Rüthing
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines / Masami Hagiya ; Akihiko Tozawa
Enabling Sparse Constant Propagation of Array Elements via Array SSA Form / Kathleen Knobe ; Vivek Sarkar
Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses / Michael Hind ; Anthony Pioli
Logic Programming
Analysis of Normal Logic Programs / François Fages ; Roberta Gori
The Correctness of Set-Sharing / Patricia M. Hill ; Roberto Bagnara ; Enea Zaffanella
Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing / Valérie Gouranton
Concurrency
A Symbolic Semantics for Abstract Model Checking / Francesca Levi
Automatic Determination of Communication Topologies in Mobile Systems / Arnaud Venet
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation / Chiara Bodei ; Pierpaolo Degano ; Corrado Priami
Abstract Domains
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs / Paolo Volpe
Refining Static Analyses by Trace-Based Partinioning Using Control Flow / Maria Handjieva ; Stanislav Tzolovski
Building Complete Abstract Interpretations in a Linear Logic-Based Setting / Roberto Giacobazzi ; Francesco Ranzato ; Francesca Scozzari
Partial Evaluation
On the Power of Homeomorphic Embedding for Online Termination / Michael Leuschel
Analysis of Imperative Programs through Analysis of Constraint Logic Programs / Julio C. Peralta ; John P. Gallagher ; Huseyin SaGlam
Improving Control in Functional Logic Program Specialization / E. Albert ; M. Alpuente ; M. Falaschi ; P. Julián ; G. Vidal
Type Inference
Directional Type Inference for Logic Programs / Witold Charatonik ; Andreas Podelski
Finite Subtype Inference with Explicit Polymorphism / Dominic Duggan
Optimization
Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis / M. Tadjouddine ; F. Eyssette ; C. Faure
A New Solution to the Hidden Copy Problem / Deepak Goyal ; Robert Paige
Tutorials
A Tutorial on Domain Theory in Abstract Interpretation
Program Analysis as Model Checking of Abstract Interpretations / David Schmidt ; Bernhard Steffen
Invited Talks
Certifying, Optimizing Compilation / Peter Lee
Author Index
Data-Flow Analysis
Bidirectional Data Flow Analysis in Code Motion: Myth and Reality / Oliver Rüthing
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines / Masami Hagiya ; Akihiko Tozawa
4.

図書
図書
4. Second International Workshop on High-Level Parallel Programming Models and Supportive Environments : proceedings, April 1, 1997, Geneva, Switzerland (:case ; :microfiche)
edited by Hermann Hellwagner ; held in conjunction with and sponsored by the 11th International Parallel Processing Symposium in cooperation with IEEE Computer Society Technical Committee on Parallel Processing, ACM SIGARCH
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  viii, 135 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
Chris Hankin (ed.)
出版情報: Berlin : Springer-Verlag, c1998  x, 281 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1381
所蔵情報: loading…
6.

図書
図書
6. Proceedings of the ninth annual ACM-SIAM Symposium on Discrete Algorithms
ACM-SIAM Symposium on Discrete Algorithms ; ACM Special Interest Group on Algorithms and Computation Theory ; SIAM Activity Group on Discrete Mathematics
出版情報: New York : Association for Computing Machinery , Philadelphia : Society for Industrial and Applied Mathematics, c1998  xii, 704 p. ; 28 cm
所蔵情報: loading…
7.

図書
図書
7. Static analysis : 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings
Pascal van Hentenryck (ed.)
出版情報: Berlin ; New York : Springer, c1997  x, 412 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1302
所蔵情報: loading…
8.

図書
図書
8. Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97 including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings (: pbk)
Hugh Glaser, Pieter Hartel, Herbert Kuchen, eds
出版情報: Berlin ; Tokyo : Springer, c1997  xi, 424 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1292
所蔵情報: loading…
9.

図書
図書
9. Proceedings, 13th IEEE Symposium on Computer Arithmetic, July 6-9, 1997, Asilomar, California, USA (: case)
edited by Tomas Lang, Jean-Michel Muller, Naofumi Takagi ; sponsored by IEEE Computer Society Technical Committee on VLSI
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1997  xiii, 291 p. ; 29 cm
所蔵情報: loading…
10.

図書
図書
10. Mathematics of program construction : 4th International Conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings
Johan Jeuring (ed.)
出版情報: Berlin : Springer, c1998  x, 382 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1422
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼