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

被引：1
|
作者：
Makhortov, S. D. [1 ]
Shurlin, M. D. [1 ]
机构：
[1] Voronezh State Univ, Voronezh 394693, Russia
来源：
AUTOMATION AND REMOTE CONTROL | 2013年 / 74卷 / 07期
关键词：
Algebraic structures - Code redundancy - Equivalent transformations - Lattice-based - Object-oriented program - Refactorings - Type hierarchies;
D O I：
10.1134/S0005117913070126
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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
页数：7
相关论文
共 50 条
  • [1] LP-structures analysis: Substantiation of refactoring in object-oriented programming
    S. D. Makhortov
    M. D. Shurlin
    Automation and Remote Control, 2013, 74 : 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