-
1
-
-
85044118222
-
CommonLoops: Merging Lisp and Object-Oriented Programming@. Rot. Of the ACM Conference on Object-Oriented Frogramming Systems, Languages and Applicatione
-
“ 21, November
-
Bobrow, D., et al. “CommonLoops: Merging Lisp and Object-Oriented Programming@. Rot. of the ACM Conference on Object-Oriented Frogramming Systems, Languages and Applicatione, SIGF” Notice8 21, 11 (November 1986).
-
(1986)
SIGF” Notice8
, pp. 11
-
-
Bobrow, D.1
-
2
-
-
84976676617
-
An Algebraic Model of Subtypes in Object-Oriented Languages (Draft)
-
“ “. 10 October
-
Bruce, K., and Wegner, P. “An Algebraic Model of Subtypes in Object-Oriented Languages (Draft)“. SIGPLAN Notice8 21, 10 (October 1986).
-
(1986)
SIGPLAN Notice8
, pp. 21
-
-
Bruce, K.1
Wegner, P.2
-
4
-
-
0003974728
-
-
Addison-Wesley, Reading, Ma
-
Goldberg, A., and Robson, D. Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading, Ma., 1983.
-
(1983)
Smalltalk-80: The Language and Its Implementation
-
-
Goldberg, A.1
Robson, D.2
-
5
-
-
0015482118
-
Proof of correctness of data representations
-
Hoare, C. A. R. “Proof of correctness of data representations”. Acta In jotmaticn 4 (1972), 271-281.
-
(1972)
Acta In Jotmaticn
, vol.4
, pp. 271-281
-
-
Hoare, C.A.R.1
-
6
-
-
84976863097
-
-
Ph.D: Th., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, forthcoming
-
Leavens, G. Subtyping and Generic Invocation: Semantics and Language Design. Ph.D: Th., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, forthcoming.
-
Subtyping and Generic Invocation: Semantics and Language Design
-
-
Leavens, G.1
-
7
-
-
84976752838
-
A Design Methodology for Reliable Software Systems
-
Freeman and A. Wasserman, Eds., IEEE, Also published in the Proc. of the Fall Joint Computer Conference, 1972
-
Liskov, B. A Design Methodology for Reliable Software Systems. In Tutorial on Software Design Techniques, P. Freeman and A. Wasserman, Eds., IEEE, 1977. Also published in the Proc. of the Fall Joint Computer Conference, 1972.
-
(1977)
Tutorial on Software Design Techniques
-
-
Liskov, B.1
-
8
-
-
0017526283
-
Abstraction mechanisms in CLU*
-
“ August
-
Liskov, B., Snyder, A., Atkinson, R. R., and Schaffert, J. C. “Abstraction mechanisms in CLU* . Comm. of the ACM 20, 8 (August 1977), 564-576.
-
(1977)
Comm. of The ACM
, vol.20
, Issue.8
, pp. 564-576
-
-
Liskov, B.1
Snyder, A.2
Atkinson, R.R.3
Schaffert, J.C.4
-
10
-
-
85044099146
-
-
Technical Report M.I.T. Laboratory for Computer Science, Cambridge, Ma
-
Liskov, B., et al. Argus Rejerence Manual. Technical Report MIT/LCS/TR-400, M.I.T. Laboratory for Computer Science, Cambridge, Ma., 1987.
-
(1987)
Argus Rejerence Manual
-
-
Liskov, B.1
-
12
-
-
84976670850
-
‘Programming with abstract data types”. Fioc. Oj ACM SIGPLAN Conference on Very High Level Languages
-
Liskov, B., and Zilles, S. ‘Programming with abstract data types”. fioc. oj ACM SIGPLAN Conference on Very High Level Languages, SIGPLAN Notices 9 (1974).
-
(1974)
SIGPLAN Notices
, vol.9
-
-
Liskov, B.1
Zilles, S.2
-
13
-
-
84976860671
-
Object-Oriented Programming with Flavors”. Rot. Of the ACM Con jerance on Object-Oriented Rogramming Systems
-
“ November
-
Moon, D. “Object-Oriented Programming with Flavors”. Rot. of the ACM Con jerance on Object-Oriented Rogramming Systems, Languages, and Applicatione, SIGPLAIV Notices 21, 11 (November 1986).
-
(1986)
Languages, and Applicatione, SIGPLAIV Notices
, vol.21
, pp. 11
-
-
Moon, D.1
-
14
-
-
0015561577
-
Protection in Programming Languages
-
* ”. January
-
Morris, J. H. *Protection in Programming Languages”. Comm. of the ACM 16, 1 (January 1973).
-
(1973)
Comm. of The ACM
, vol.16
, pp. 1
-
-
Morris, J.H.1
-
15
-
-
0039232724
-
Information Distribution Aspects of Design Methodology
-
North Holland Publishing Co
-
Parnas, D. Information Distribution Aspects of Design Methodology. In Fkoceedinge oj IFIP Congress, North Holland Publishing Co., 1971.
-
(1971)
Fkoceedinge Oj IFIP Congress
-
-
Parnas, D.1
-
16
-
-
0015482049
-
On the Criteria to be Used in Decomposing'Systems into Modules
-
“ ”. December
-
Parnas, D. “On the Criteria to be Used in Decomposing'Systems into Modules”. C&mm. oj the ACM 15, 12 (December 1972).
-
(1972)
C&Mm. Oj The ACM
, vol.15
, pp. 12
-
-
Parnas, D.1
-
17
-
-
84976764419
-
An Introduction to Trellis/Owl”. Rot. Oj the ACM Con jerence on Object-Oriented fiogramming Systems
-
November
-
Schaffert, C., et al. *An Introduction to Trellis/Owl”. Rot. oj the ACM Con jerence on Object-Oriented fiogramming Systems, Languages, and Applications, SIGPLAN Notices 21, 11 (November 1986).
-
(1986)
Languages, and Applications, SIGPLAN Notices
, vol.21
, pp. 11
-
-
Schaffert, C.1
-
18
-
-
84976756363
-
Encapsulation and Inheritance in ObjectcOriented Programming Languages”.
-
“ November
-
Snyder, A. “Encapsulation and Inheritance in ObjectcOriented Programming Languages”. Rot. oj the ACM Conference on Object-Oriented Bogramming Systems, Languages, and Applications, SIGPLAN Notices 21, 11 (November 1986).
-
(1986)
Rot. Oj The ACM Conference on Object-Oriented Bogramming Systems, Languages, and Applications, SIGPLAN Notices
, vol.21
, pp. 11
-
-
Snyder, A.1
|