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

DOI10.1134/S0005117913070126MaRDI QIDQ462041zbMATH OpenFDO

Authors S. D. Makhortov, M. D. Shurlin

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)

Recommendations

• LP structures on type lattices and some refactoring problems
• Refactoring by transformation
• Verification, Model Checking, and Abstract Interpretation
• Algebraic reasoning for object-oriented programming
• scientific article; zbMATH DE number 2016082

Cites work

• scientific article; zbMATH DE number 1929900 (Why is no real title available?)
• scientific article; zbMATH DE number 5065677 (Why is no real title available?)
• A hierarchy of program models
• Algebraic semantics of an imperative programming language
• LP structures on type lattices and some refactoring problems
• The Transitive Reduction of a Directed Graph

Cited in

(2)

• Verification, Model Checking, and Abstract Interpretation
• LP structures on type lattices and some refactoring problems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q462041)