Publication:2848452
From MaRDI portal
zbMath1272.68092MaRDI QIDQ2848452
Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105002264
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68Q42: Grammars and rewriting systems
Related Items
Combining Decision Procedures by (Model-)Equality Propagation, Combining decision procedures by (model-)equality propagation, Sound refactorings