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 条
  • [41] Improvements in model checking for Object-Oriented Petri Nets
    Hasa, L
    Ceska, M
    ISAS/CITSA 2004: INTERNATIONAL CONFERENCE ON CYBERNETICS AND INFORMATION TECHNOLOGIES, SYSTEMS AND APPLICATIONS AND 10TH INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS ANALYSIS AND SYNTHESIS, VOL 3, PROCEEDINGS, 2004, : 269 - 274
  • [42] Validation of object-oriented concurrent designs by model checking
    Schneider, K
    Huhn, M
    Logothetis, G
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1999, 1703 : 360 - 364
  • [43] Method restructuring and consistency checking for object-oriented schemas
    Tari, Z
    Li, X
    ENTITY-RELATIONSHIP APPROACH - ER '94, 1994, 881 : 152 - 170
  • [44] The Problem of Causality in Object-Oriented Ontology
    Davies, C. J.
    OPEN PHILOSOPHY, 2019, 2 (01) : 98 - 107
  • [45] Static slicing of concurrent object-oriented programs
    Zhao, JJ
    Cheng, JD
    Ushijima, K
    TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 : 312 - 320
  • [46] Change impact analysis for object-oriented programs
    Ryder, B.G.
    Tip, F.
    ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2001, : 46 - 53
  • [47] Dynamic slicing object-oriented programs for debugging
    Xu, BW
    Chen, ZQ
    SCAM 2002: SECOND IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS MANIPULATION, PROCEEDINGS, 2002, : 115 - 122
  • [48] Testing coupling relationships in object-oriented programs
    Alexander, Roger T.
    Offutt, Jeff
    Stefik, Andreas
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2010, 20 (04): : 291 - 327
  • [49] MODULAR SPECIFICATION AND VERIFICATION OF OBJECT-ORIENTED PROGRAMS
    LEAVENS, GT
    IEEE SOFTWARE, 1991, 8 (04) : 72 - 80
  • [50] A Programming Model for Concurrent Object-Oriented Programs
    Jacobs, Bart
    Piessens, Frank
    Smans, Jan
    Rustan, K.
    Leino, M.
    Schulte, Wolfram
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2008, 31 (01):
12345