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 条
  • [1] LP-structures analysis: Substantiation of refactoring in object-oriented programming
    Makhortov, S. D.
    Shurlin, M. D.
    AUTOMATION AND REMOTE CONTROL, 2013, 74 (07) : 1211 - 1217
  • [2] An object-oriented programming framework for the parallel dynamic analysis of structures
    Modak, S
    Sotelino, ED
    COMPUTERS & STRUCTURES, 2002, 80 (01) : 77 - 84
  • [3] Modelling mathematical structures and object-oriented programming
    Gainutdinova, T. Yu
    Denisova, M. Yu
    Riazanova, L. V.
    Shakirova, Z. F.
    Shirokova, O. A.
    DILEMAS CONTEMPORANEOS-EDUCACION POLITICA Y VALORES, 2019, 6
  • [4] Automating object-oriented software refactoring
    Shankar, S
    Xu, XW
    SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 561 - 567
  • [5] OBJECT-ORIENTED PROGRAMMING WITHOUT AN OBJECT-ORIENTED LANGUAGE
    BOOCH, G
    SEIDEWITZ, E
    START, M
    FIRESMITH, D
    SIGPLAN NOTICES, 1986, 21 (11): : 508 - 508
  • [6] Object-oriented paradigm in programming for computer-aided analysis of structures
    Madan, A
    JOURNAL OF COMPUTING IN CIVIL ENGINEERING, 2004, 18 (03) : 226 - 236
  • [7] Adaptive cracking analysis for R/C structures with object-oriented programming
    Jiang, F
    Li, B
    Deeks, A
    DEVELOPMENT AND APPLICATION OF DISCONTINUOUS MODELLING FOR ROCK ENGINEERING, 2003, : 213 - 221
  • [8] Object-Oriented Programming
    Barth, G.
    Welsch, C.
    IT - Information Technology, 1988, 30 (06): : 404 - 421
  • [9] OBJECT-ORIENTED PROGRAMMING
    ANDERSON, B
    MICROPROCESSORS AND MICROSYSTEMS, 1988, 12 (08) : 433 - 442
  • [10] OBJECT-ORIENTED PROGRAMMING
    BAINES, R
    ELECTRONICS & WIRELESS WORLD, 1989, 95 (1638): : 370 - 374
12345