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 条
  • [1] Type checking object-oriented programs: Core of the problem and some solutions
    Royer, JC
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1998, 11 (06): : 58 - +
  • [2] Automatic Dimension Inference and Checking for Object-Oriented Programs
    Hangal, Sudheendra
    Lam, Monica S.
    2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 155 - 165
  • [3] SAFE AND DECIDABLE TYPE CHECKING IN AN OBJECT-ORIENTED LANGUAGE
    BRUCE, KB
    CRABTREE, J
    MURTAGH, TP
    VANGENT, R
    DIMOCK, A
    MULLER, R
    SIGPLAN NOTICES, 1993, 28 (10): : 29 - 46
  • [4] Safe and decidable type checking in an object-oriented language
    Bruce, Kim B.
    Crabtree, Jon
    Murtagh, Thomas P.
    van Gent, Robert
    Dimock, Allyn
    Muller, Robert
    SIGPLAN Notices (ACM Special Interest Group on Programming Languages), 1993, 28 (10):
  • [5] Using predicate abstraction to reduce object-oriented programs for model checking
    Visser, Willem, 2000, ACM, New York
  • [6] Object-oriented solutions
    Wolfengagen, VE
    ADVANCES IN DATABASES AND INFORMATION SYSTEMS, 1996, : 407 - 431
  • [7] A logic of object-oriented programs
    Abadi, M
    Rustan, K
    Leino, M
    VERIFICATION: THEORY AND PRACTICE: ESSAYS DEDICATED TO ZHOAR MANNA ON THE OCCASION OF HIS 64TH BIRTHDAY, 2003, 2772 : 11 - 41
  • [8] Encapsulation in object-oriented programs
    Chen, JL
    Wang, FJ
    ACM SIGPLAN NOTICES, 1996, 31 (07) : 30 - 32
  • [9] Slicing object-oriented programs
    Chen, JL
    Wang, FJ
    Chen, YL
    ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 395 - 404
  • [10] OBJECT-ORIENTED PROGRAMS IN REALTIME
    GWINN, JM
    SIGPLAN NOTICES, 1992, 27 (02): : 47 - 56
12345