<< 照明 | ホーム | Immutable Objects for a Java-Like Language >>

A Type Safe DOM API

DOM API に対する型システムの提案。Java の型システムを拡張する形で定義。属性ノードは高々一つの要素に属するとか、要素と属性は同じドキュメントに由来するとか、そういった制約を型付け規則として記述する。意味も定義して健全性が示されている。

author="Peter Thiemann",
title="{A Type Safe DOM API}",
booktitle="DBPL 2005",
publisher="Springer",
volume="3774",
series="LNCS",
pages="169--183",
year="2005"

タグ : ,



コメント追加 トラックバック送信