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

DOI10.1134/S0005117913070126zbMATH Open1297.68055MaRDI QIDQ462041FDOQ462041

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

Publication date: 15 October 2014

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

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

Mathematics Subject Classification ID

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

Cites Work

• The Transitive Reduction of a Directed Graph
• A hierarchy of program models
• Title not available (Why is that?)
• LP structures on type lattices and some refactoring problems
• Title not available (Why is that?)
• Algebraic semantics of an imperative programming language

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)