close
1.

図書

図書
Dominique Snyers, André Thayse
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  iv, 125 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 271
所蔵情報: loading…
2.

図書

図書
P. Treleaven, M. Vanneschi (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  iv, 492 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 272
所蔵情報: loading…
3.

図書

図書
James S. Royer
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  186 p. ; 26 cm
シリーズ名: Lecture notes in computer science ; 273
所蔵情報: loading…
4.

図書

図書
J. Bézivin ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  vi, 273 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 276
所蔵情報: loading…
目次情報: 続きを見る
Deltatalk; An Empirically and Aesthetically Motivated Simplification of the Sinalltalk-80 Language / A.Borning ; T. O'SHEA
Reversible Object-Oriented Interpreters / H.Lieberman
Using Types and Inheritance in Object-Oriented Languages / D.C.Halbert ; P.D.OÆbrien
Inheritance and Synchronization in Concurrent OOP / J.-P.Briot ; A.Yonezawa
On Including Part Hierarchies in Object-Oriented Languages, with an Implementation in Smalltalk / E.Blake ; S.Cook
What is "Object-Oriented Programming"? (invited paper) / B.Stroustrup
Object Representation of Scope During Translation / S.C.Dewhurst
Dynamic Grouping in an Object-Oriented Virtual Memory Hierarchy / I.Williams ; M.Wolczko ; T.Hopkins
Traveler: The Apiary Observatory / C.R.Manning
Classification of Actions or Inheritance also for Methods / B.B.Kristensen ; O.L.Madsen ; B.Moller-pedersen ; K.Nygaard
Semantics of Smalltalk-80
The Construction of User Interfaces and the Object Paradigm / J.Coutaz
The ZOO Metasystem: A Direct-Manipulation Interface to Object-Oriented Knowledge Bases / W.-F.Riekert
The Filter Browser Defining Interfaces Graphically / R.K.Ege ; D.Maier
The Common Lisp Object System: An Overview (invited paper) / L.G.Demichiel ; R.P.Gabriel
Concurrency Features for the Trellis/Owl Language / J.E.B.Moss ; W.H.Kohler
Objects as Communicating Prolog Units / P.Mello ; A.Natali
An Object Modelling Technique for Conceptual Design / M.E.S.Loomis ; A.V.Shah ; J.E.Rumbaugh
A ModellerÆs Workbench: Experiments in Object-Oriented Simulation Programming / W.Kreutzer
Behavioral Simulation Based on Knowledge Objects / T.Maruichi ; T.Uchiki ; M.Tokoro
Conformance, Genericity, Inheritance and Enhancement / C.Horn
Inheritance and Subtyping in a Parallel Object-Oriented Language / P.America
On Some Algorithms for Multiple Inheritance in Object-Oriented Programming / R.Ducournau ; M.Habib
FORK: A System for Object- and Rule-Oriented Programming / C.Beckstein ; G.Gorz ; M.Tieleman
Overview of a Parallel Object-Oriented Language CLIX / J.H.Hur ; K.Chon
Deltatalk; An Empirically and Aesthetically Motivated Simplification of the Sinalltalk-80 Language / A.Borning ; T. O'SHEA
Reversible Object-Oriented Interpreters / H.Lieberman
Using Types and Inheritance in Object-Oriented Languages / D.C.Halbert ; P.D.OÆbrien
5.

図書

図書
Eiiti Wada (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  179 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 264
所蔵情報: loading…
6.

図書

図書
Thomas Ottmann, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  x, 565 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 267
所蔵情報: loading…
7.

図書

図書
David Gries
出版情報: New York : Springer-Verlag, c1981  xiii, 366 p. ; 24 cm
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
目次情報: 続きを見る
Why Use Logic? Why Prove Programs Correct? / Part 0:
Propositions / Part 1:
Reasoning Using Equivalence Transformations / 2:
A Natural Deduction System / 3:
Predicates / 4:
Notations and Conventions for Arrays / 5:
Using Assertions to Document Programs / 6:
The Semantics of a Small Language / Part 2:
The Predicate Transformer wp / 7:
The Commands Skip, Abort and Composition / 8:
The Assignment Command / 9:
The Alternative Command / 10:
Procedure Call / 12:
The Iterative Command / 11:
The Development of Programs / Part 3:
Introduction / 13:
Programming as a Goal-Oriented Activity / 14:
Developing Loops From Invariants and Bounds / 15:
Developing Invariants / 16:
Notes on Bound Functions / 17:
Using Iteration Instead of Recursion / 18:
Efficiency Considerations / 19:
Two Larger Examples of Program Development / 20:
Inverting Programs / 21:
Notes on Documentation / 22:
Historical / 23:
Notes
Appendix 1-4
Answers to Exercises
References
Index
Why Use Logic? Why Prove Programs Correct? / Part 0:
Propositions / Part 1:
Reasoning Using Equivalence Transformations / 2:
8.

図書

図書
edited by David Pitt ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  vii, 519 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 240
所蔵情報: loading…
9.

図書

図書
edited by Roger C. Schank, Christopher K. Riesbeck
出版情報: Hillsdale, N.J. : Lawrence Erlbaum Associates, 1981  xii, 386 p. ; 24 cm
シリーズ名: The Artificial intelligence series
所蔵情報: loading…
目次情報: 続きを見る
Preface
Our Approach to Artificial Intelligence / 1:
The Theory Behind the Programs: Conceptual Dependency / 2:
The Theory Behind the Programs: a Theory of Context / 3:
Lisp / 4:
Sam / 5:
Micro Sam / 6:
Pam / 7:
Micro Pam / 8:
Tale-Spin / 9:
Micro Tale-Spin / 10:
Politics / 11:
Micro Politics / 12:
Conceptual Analysis of Natural Language / 13:
Micro Eli / 14:
Bibliography
Author Index
Preface
Our Approach to Artificial Intelligence / 1:
The Theory Behind the Programs: Conceptual Dependency / 2:
10.

図書

図書
edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1986  vii, 604 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 244
所蔵情報: loading…
11.

図書

図書
edited by Peter J.L. Wallis
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  163 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 180
所蔵情報: loading…
12.

図書

図書
Howard Barringer
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1985  vi, 114 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 191
所蔵情報: loading…
13.

図書

図書
edited by Rohit Parikh
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  vi, 424 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 193
所蔵情報: loading…
14.

図書

図書
edited by Mathai Joseph and Rudrapatna Shyamasundar
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  viii, 468 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 181
所蔵情報: loading…
15.

図書

図書
edited by Hartmut Ehrig ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, 1985  xiv, 455 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 186 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 2
所蔵情報: loading…
16.

図書

図書
edited by Wilfried Brauer
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  vii, 519 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 194
所蔵情報: loading…
17.

図書

図書
edited by Hartmut Ehrig ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  xiii, 418 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 185 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 1
所蔵情報: loading…
18.

図書

図書
edited by B. Robinet and R. Wilhelm
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  374 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 213
所蔵情報: loading…
19.

図書

図書
edited by H. Ganzinger and N.D. Jones
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  x, 324 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 217
所蔵情報: loading…
20.

図書

図書
edited by Eiichi Goto, Keijiro Araki and Taiichi Yuasa
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  x, 323 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 220
所蔵情報: loading…
21.

図書

図書
edited by Ehud Shapiro
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  ix, 720 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 225
所蔵情報: loading…
22.

図書

図書
edited by Eiiti Wada
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  ix, 311 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 221
所蔵情報: loading…
23.

図書

図書
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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼