LP structures on type lattices and some refactoring problems

DOI10.1134/S0361768809040021zbMath1178.68156MaRDI QIDQ1040323

S. D. Makhortov

Publication date: 24 November 2009

Published in: Programming and Computer Software (Search for Journal in Brave)

Mathematics Subject Classification ID

Logic in computer science (03B70) Logical aspects of lattices and related structures (03G10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

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

Cites Work

• Algebraic semantics of an imperative programming language
• Semantics of untyped functional programs
• The Transitive Reduction of a Directed Graph
• Unnamed Item
• Unnamed Item

This page was built for publication: LP structures on type lattices and some refactoring problems