コードコメントで使用できる運用セマンティクスの表記

Question

私が書いているマルチバックエンドコードジェネレーターの中間言語を定義しています。ソースコードと生成ドキュメント（OCAMLDOC）内から読みやすい方法で、この中間言語の運用セマンティクスを文書化したいと思います。 「タイプとプログラミング」言語で使用される表記は、本に最適ですが、ASCIIアートを介して結論のスタイル表記を前提条件にしようとはしません。

ASCII以外の文字を必要としない運用セマンティクスに広く認識されている表記はありますか？私はさまざまなRFCを調べましたが、セマンティクスを指定する非自然な言語の方法を使用するものは見つかりません。

Answer 1

ツールの入力形式 ott ASCIIに基づいており、ルールはタイプシステム/運用セマンティクスルールに非常に似ています。たぶん、あなたはその形式を使用できます。入力形式のパーサーはオープンソースとして利用できると確信しています。