XACT - Type-safe XML Transformation in Java
Xact is a Java-based system for programming XML transformations. The main features of Xact are: XML templates as immutable values optional type annotations using XML Schema declarations (based on the dk.brics.schematools package) static analysis for ensuring type safety full integration with the Java language an efficient runtime system Available resources: Download the Xact source code - latest r
CDuce: OCamlDuce: マニュアル
概要 OCamlDuceプロジェクトの目標は、Ocaml言語を拡張し、XML文書を扱うのに必要な、安全かつ能率的で複雑なアプリケーションを、より簡単に書けるようにする機能を持たせることである。特に、型やパターンの概念により、あり得る全ての入力文書が正しく処理され、妥当な出力文書しか生成されないことを、静的に保証する。 極めて簡単に言えば、OCamlDuceはOCamlを拡張し、XML文書、文書片、タグ、Unicode文字列を表現するための新しい種類の値(x値)を持たせるものである。これらの値を表現するために、型の代数を拡張して、いわゆるx型を持たせる。x型の背景となる考え方は、x値の集合を表現することである。x型は非常に厳密にでき、実際、それぞれの型は単一の型(単一の値集合)に見せることが出来、かつx型のブール結合(積、和、差)を形成することができる。 OCamlDuceの型システムは、O
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Polymorphic variants with set-theoretic types
