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 条
  • [41] Teaching object-oriented programming
    Viswanathan, K.V.
    JOOP - Journal of Object-Oriented Programming, 1996, 9 (02):
  • [42] OBJECT-ORIENTED PROGRAMMING IN AI
    TELLO, ER
    DR DOBBS JOURNAL, 1987, 12 (04): : 146 - &
  • [43] OBJECT-ORIENTED PROGRAMMING - WHAT FOR
    MOSSENBOCK, H
    JOURNAL OF MICROCOMPUTER APPLICATIONS, 1991, 14 (03): : 217 - 228
  • [44] OBJECT-ORIENTED PROGRAMMING IN SCOOPS
    TELLO, ER
    DR DOBBS JOURNAL, 1987, 12 (06): : 116 - 117
  • [45] OBJECT-ORIENTED PROGRAMMING FOR THE BIOSCIENCES
    WIECHERT, W
    JOKSCH, B
    WITTIG, R
    HARTBRICH, A
    HONER, T
    MOLLNEY, M
    COMPUTER APPLICATIONS IN THE BIOSCIENCES, 1995, 11 (05): : 517 - 534
  • [46] Temporal object-oriented programming
    Alagic, Suad, 1600, Oxford Univ Press, Oxford, United Kingdom (43):
  • [47] Object-Oriented Programming with DevOps
    Chung, Sam
    PROCEEDINGS OF THE 18TH ANNUAL CONFERENCE ON INFORMATION TECHNOLOGY EDUCATION (SIGITE'17), 2017, : 65 - 65
  • [48] OBJECT-ORIENTED PROGRAMMING - INTRODUCTION
    TAZELAAR, JM
    BYTE, 1989, 14 (03): : 228 - 228
  • [49] OBJECT-ORIENTED PROGRAMMING WITH MODES
    TAIVALSAARI, A
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1993, 6 (03): : 25 - 32
  • [50] OBJECT-ORIENTED PROGRAMMING AND DATABASES
    STEIN, J
    DR DOBBS JOURNAL, 1988, 13 (03): : 18 - &
12345