Type checking object-oriented programs: core of the problem and some solutions

被引：0
|
作者：
Royer, Jean-Claude [1 ]
机构：
[1] Nantes Univ, France
来源：
JOOP - Journal of Object-Oriented Programming | 1998年 / 11卷 / 06期
关键词：
Computer programming languages - Computer software - Problem solving - Program diagnostics;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：58 / 66
相关论文
共 50 条
  • [31] A FRAMEWORK FOR TESTING OBJECT-ORIENTED PROGRAMS
    SMITH, MD
    ROBSON, DJ
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1992, 5 (03): : 45 - 53
  • [32] SUPPORT FOR MAINTAINING OBJECT-ORIENTED PROGRAMS
    LEJTER, M
    MEYERS, S
    REISS, SP
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (12) : 1045 - 1052
  • [33] A testing assistant for object-oriented programs
    Alkadi, IS
    Carver, DL
    1998 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOL 4, 1998, : 149 - 158
  • [34] Infeasible paths in object-oriented programs
    Tip, Frank
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 97 : 91 - 97
  • [35] Semi-strong static type checking of object-oriented query languages
    Lentner, M
    Stencel, K
    Subieta, K
    SOFSEM 2006: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2006, 3831 : 399 - 408
  • [36] A DENOTATIONAL APPROACH FOR TYPE-CHECKING IN OBJECT-ORIENTED PROGRAMMING-LANGUAGES
    IERUSALIMSCHY, R
    COMPUTER LANGUAGES, 1993, 19 (01): : 19 - 40
  • [37] Recursive object types in a logic of object-oriented programs
    Leino, KRM
    PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 1381 : 170 - 184
  • [38] A graph-based generic type system for object-oriented programs
    Wei Ke
    Zhiming Liu
    Shuling Wang
    Liang Zhao
    Frontiers of Computer Science, 2013, 7 : 109 - 134
  • [39] A graph-based generic type system for object-oriented programs
    Ke, Wei
    Liu, Zhiming
    Wang, Shuling
    Zhao, Liang
    FRONTIERS OF COMPUTER SCIENCE, 2013, 7 (01) : 109 - 134
  • [40] OBJECT-ORIENTED TYPE INFERENCE
    PALSBERG, J
    SCHWARTZBACH, MI
    SIGPLAN NOTICES, 1991, 26 (11): : 146 - 161
12345