Art

J-GLOBAL ID：200902190404650560   Reference number：00A0515801

オブジェクト指向プログラムに対するMessage Not Understoodフォールト検知のための型検査アルゴリズム

Author (3)： OKUBO HIROTAKA (愛知県大 情報科学) ,  SAKABE TOSHIKI (名古屋大 大学院) ,  INAGAKI YASUYOSHI (名古屋大 大学院)
Material： コンピュータソフトウェア  (Computer Software)
Volume： 17  Issue： 3  Page： 255-268  Publication year： May. 15, 2000 
JST Material Number： Y0628A  ISSN： 0289-6540  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *object oriented programming ,...
Semi thesaurus term： type checking

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=00A0515801&from=J-GLOBAL&jstjournalNo=Y0628A") }}

JST classification (2)： Theory of computation  (JB02000A) ,  System programmings in general  (JD03010Y)

Reference (13)：

• [1] Abadi, M. and Cardelli, L.: An Imperative Object Calculus, Theory and Practice of Object Systems, Vol.1, No.3, 1995, pp.151-166.
• [2] Cook, R.W., Hill L.W., Canning, S.P.: Inheritance is Not Subtyping, Conference Record of the 17th Annual ACM Symposium on Principles of Programming Languages, 1990, pp.125-135.
• [3] Eifrig, J., Smith S. and Trifonov V.: Sound Polymorphic Type Inference for Objects, Proc, OOPSLA’95, ACM SIGPLAN NOTICES, Vol.30, No.10, 1995, pp.169-184.
• [4] Goldberg, A. and Robson, D.: Smaltalk 80: Language and its Implementation, Addison-Wesley, 1983.
• [5] Grogono, P. and Gargul, M.: A Graph Model for Object Oriented Programming, ACM SIGPLAN Notices, Vol.29, No.7, 1994, pp.21-28.

Terms in the title (3)： オブジェクト指向 ,  型検査 ,  アルゴリズム