메뉴 건너뛰기




Volumn 1987-January, Issue , 1987, Pages 17-34

Data abstraction and hierarchy

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER SYSTEMS PROGRAMMING;

EID: 85030467570     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (84)

References (19)
  • 1
    • 85044118222 scopus 로고
    • 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 scopus 로고
    • 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
  • 5
    • 0015482118 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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
  • 10
    • 85044099146 scopus 로고
    • 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 scopus 로고
    • ‘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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.