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