2013年11月時点のプロダクトコード
tea language (abstract C++, abstract C, tset, ..., etc)
- 自動生成システム: SQL型の集合を記述し、そこからプログラムコードを自動生成するシステム。
- io-mapシステム: 入力と出力の関係を写像により定義し、低レベルから高レベルの処理を結びつけるシステム。 写像はBNFとASN.1の中間のオブジェクトとの関連性を明示しながらバイナリやビットも操作可能な記法を定義。
- 写像よりテストコードを生成する自動テストシステム。
- LISP型中間言語システムを用いて、C, C++, Java, SQL, JavaScript,php, CoffeeScript, LISP, Schema, C# などの多数のプログラミング言語を統合するシステム。統合の際に用いる写像としてはBNFの拡張言語。
- 言語抽象化は、副作用のないexpressionのベクトルで一般化した構成型の集合で記述し、expressionを作用素を含む、関数や値の包括集合として取り扱うことで演算的な操作を可能とするシステム。