Publication:2844832
From MaRDI portal
zbMath1270.68168MaRDI QIDQ2844832
Márcio Cornélio, Augusto Sampaio, Ana Cavalcanti
Publication date: 19 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105825642
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Towards Formal Proof Script Refactoring, Refactoring Object-Oriented Specifications with Data and Processes, An algebraic approach to the design of compilers for object-oriented languages, Sound refactorings