SCIENCE CITATION INDEXprogramming で検索すると次の3件．ACMは読める． ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMSJOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMINGMATHEMATICAL PROGRAMMING game で検索すると ***** No matches found for the q…

7月20日の続き？On the optimality of change propagation for incremental evaluation of hierarchical attribute grammarsプログラムの一部分の書き換えによる影響範囲が伝播するのを，どうやって最適化するかという話．