CSSボックスポジショニングの公式セマンティクス

Question

私は（理論的な）コンピュータ科学の学生です。プログラミング言語のセマンティクスの調査は、私の研究（wikipedia）の対象の1つです。

私はCSSで多くのことをしてきたし、ボックスの位置付けルールについても十分理解しています。 （特定のレイアウトのページを作成するように指示した場合は、適切なボックスアプローチと適用可能なCSSルールについてよく考えることができます）。

CSSボックスの位置付けルールには正式なセマンティクスがあり、しばらくの間、ネットを検索した後は、役に立たないものは何も見つかりませんでした。

ほとんどの場合、擬似アルゴリズムで長いテキストとしてフォーマットされたCSS仕様になってしまいます（最大の読み物ではありません---私はこれらの仕様をまだ読んでいません）。

この“の理論”の理論モデルは、仕様よりも厳しいものはありませんか？私は何かが完全であるか決定的ではないと思っていますが、少なくともボックスを配置する方法を正式な方法でモデル化することができれば、きれいで便利です！

誰もそのような研究を知っていますか？

Answer 1

答えはありません！これは、非常に単純化されたケースの正式化の例です（上記の私のコメントを参照）。

言って、例えば、我々は（1）知られている画面の幅を搭載し、世界で活躍している、ネストされていないボックスの（2）順序付きリスト、マージンなし/パディングの/ボーダーを持っています（2.1）の高さと（2.2）の幅は、数学的関数とによって知ることができます。

ここでは、各ボックスの左上隅の座標を示すとという関数を定義します。

"開始ライン"と "の高さは"と定義して使用します。

そして、まず第一に、開始ライン0

、開始は行目、さらに特定の

のためであればあれば...

1. 
2. 
3. が
4. 開始が

IFFこれらのルールは正式で与えられた箱の位置を定義する行の高さを持っている：私たちは、と結論します方法。もちろん、これは唯一の方法であり、おそらく賢明ではありません（すぐに考えただけです）が、浮動小数点型の動作を正式に正式化します（十分にチェックしていません）。

プログラミング言語を扱う場合、それぞれが特定の目的のために発明された多くの形式を選択できます（wikipedia参照）。

誰かがCSSボックスの位置づけの正式化を試したことがあるのであれば、私は興味があります。もちろん、仕様は長い道のりですが、数学的方法ほど厳格ではありません。