Category: Constraint Journal: ACM TOPLAS Comment: インクリメンタルな制約解決の方法についても書いてある そうである Number: 3 Bibtype: Article Author: T. Reps and T. Teitelbaum and A. Demers Pages: 449-477 Month: jul Title: A Incremental Context-Dependent Analysis for Language-Based Editors Year: 1983 Volume: 5