UML distilled (2nd ed.): a brief guide to the standard object modeling language
UML distilled (2nd ed.): a brief guide to the standard object modeling language
Semantics of Untyped Functional Programs
Programming and Computing Software
Bit-Vector Encoding for Partially Ordered Sets
ORDAL '94 Proceedings of the International Workshop on Orders, Algorithms, and Applications
Algebraic Semantics of an Imperative Programming Language
Programming and Computing Software
A Survey of Software Refactoring
IEEE Transactions on Software Engineering
Formal concept analysis-based class hierarchy design in object-oriented software development
Formal Concept Analysis
LP-structures analysis: Substantiation of refactoring in object-oriented programming
Automation and Remote Control
| Hi-index | 0.00 |
Lattice-based algebraic structures containing semantics of production-logic inference on a type hierarchy in an object-oriented system with an additional relation are introduced. Specific features of these structures, such as closedness, possibility of equivalent transformations, existence of logical reduction, are studied. It is shown how to apply the model developed to verification and optimization of type hierarchies. An important direction of the optimization is automatic elimination of code duplication by "pulling up" common attributes in the type hierarchy. Implementation issues are briefly discussed.