Refactoring: improving the design of existing code
Refactoring: improving the design of existing code
Algebraic Semantics of an Imperative Programming Language
Programming and Computing Software
LP structures on type lattices and some refactoring problems
Programming and Computing Software
Formal concept analysis-based class hierarchy design in object-oriented software development
Formal Concept Analysis
Hi-index | 0.00 |
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.