close
1.

図書

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

図書

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

図書

図書
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:
4.

図書

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

図書

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

図書

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

図書

図書
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
8.

図書

図書
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…
9.

図書

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

図書

図書
Howard Barringer
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1985  vi, 114 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 191
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼