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

DOI10.1134/S0005117913070126zbMath1297.68055MaRDI QIDQ462041

M. D. Shurlin, S. D. Makhortov

Publication date: 15 October 2014

Published in: Automation and Remote Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cites Work

• Algebraic semantics of an imperative programming language
• LP structures on type lattices and some refactoring problems
• A hierarchy of program models
• The Transitive Reduction of a Directed Graph
• Unnamed Item
• Unnamed Item

This page was built for publication: LP-structures analysis: substantiation of refactoring in object-oriented programming