LP-structures analysis: Substantiation of refactoring in object-oriented programming

被引：0
|
作者：
S. D. Makhortov
M. D. Shurlin
机构：
[1] Voronezh State University,
来源：
Automation and Remote Control | 2013年 / 74卷
关键词：
Remote Control; Logical Reduction; Formal Concept Analysis; Equivalent Transformation; Compatible Pair;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
This paper considers a class of lattice-based algebraic structures describing the semantics of type hierarchies in an object-oriented program system. Several properties of such structures (namely, completeness, equivalent transformations, and logical reduction) are studied. The suggested methodology serves the purpose of verification and upgrading of type hierarchies; an important direction concerns automatic elimination of code redundancy.
引用
收藏
页码：1211 / 1217
页数：6
相关论文
共 50 条
  • [21] Object-Oriented Refactoring of Existing Immune Models
    Bersini, Hugues
    ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS, 2009, 5666 : 27 - 40
  • [22] ANALYSIS OF LEARNING PROBLEMS OF OBJECT-ORIENTED PROGRAMMING
    Emilio Sanchez-Garcia, Jose
    Urias-Ruiz, Margarita
    Edith Gutierrez-Herrera, Brenda
    REVISTA RA XIMHAI, 2015, 11 (04): : 289 - 304
  • [23] Comparative analysis of functional and object-oriented programming
    Alic, Dino
    Omanovic, Samir
    Giedrimas, Vaidas
    2016 39TH INTERNATIONAL CONVENTION ON INFORMATION AND COMMUNICATION TECHNOLOGY, ELECTRONICS AND MICROELECTRONICS (MIPRO), 2016, : 667 - 672
  • [24] IS OBJECT-ORIENTED PROGRAMMING STRUCTURED PROGRAMMING
    MULLER, B
    SIGPLAN NOTICES, 1993, 28 (09): : 57 - 66
  • [25] Advanced clone-analysis to support object-oriented system refactoring
    Balazinska, M
    Merlo, E
    Dagenais, M
    Lagüe, B
    Kontogiannis, K
    SEVENTH WORKING CONFERENCE ON REVERSE ENGINEERING - PROCEEDINGS, 2000, : 98 - 107
  • [26] Teaching object-oriented programming
    Viswanathan, KV
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1996, 9 (02): : 8 - &
  • [27] OBJECT-ORIENTED PROGRAMMING IN EDUCATION
    GUZDIAL, M
    PROCEEDINGS - NATIONAL EDUCATIONAL COMPUTING CONFERENCE 1989, 1989, : 204 - 208
  • [28] OBJECT-ORIENTED PROGRAMMING IN S
    CALAWAY, R
    DR DOBBS JOURNAL, 1995, 20 (10): : 44 - &
  • [29] OBJECT-ORIENTED DESIGN AND PROGRAMMING
    CASTILLO, CM
    FLANAGAN, EB
    WILKINSON, NM
    AT&T TECHNICAL JOURNAL, 1992, 71 (06): : 27 - 33
  • [30] OBJECT-ORIENTED PROGRAMMING IN AL
    ALPERT, SR
    WOYAK, SW
    SHROBE, HJ
    ARROWOOD, LF
    IEEE INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1990, 5 (06): : 6 - 7
12345