Open AccessTwo-sided program unification and its application to program refactoring
Author(s) -
Tatyana A. Novikova,
Vladimir A. Zakharov
Publication year - 2014
Publication title -
trudy instituta sistemnogo programmirovaniâ ran/trudy instituta sistemnogo programmirovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2220-6426
pISSN - 2079-8156
DOI - 10.15514/ispras-2014-26(2)-11
Subject(s) - unification , subroutine , substitution (logic) , computer science , code refactoring , equivalence (formal languages) , bounded function , mathematics , algebra over a field , programming language , theoretical computer science , discrete mathematics , software , pure mathematics , mathematical analysis