[論文] XMLの制約検証をインクリメンタルに行う.
Consistently updating XML documents using incremental constraint check queries
ある XML 文書とそのXML Schema を与えて,XML文書の変更があったとき,XML Schemaを満たしているかどうかを,差分を検出して高速に行うものらしい.
すべての言語をXML と XML Schemaに落とせば,これを使ってインクリメンタルなコンパイラが作れるかもしれない.といってもXML Schemaが型の検証にどこまで使えるかはわからず.