A Structural Operational Semantics for JavaScript
Motivation Formal Semantics for JavaScript (ECMA262-3) Formal Properties Conclusions and Future work A Structural Operational Semantics for JavaScript Ankur Taly Dept. of Computer Science, Stanford University Joint work with Sergio Maffeis and John C. Mitchell Ankur Taly A Structural Operational Semantics for JavaScript Motivation Formal Semantics for JavaScript (ECMA262-3) Formal Properties Concl
A Declarative Model for Defining Smalltalk Programs と ANSI Smalltalk - 言語ゲーム
論文 http://www.smalltalksystems.com/publications/_awss97/SSDCL1.HTM スライド http://www.smalltalksystems.com/publications/_awss97/INDEX.HTM ANSI Smalltalk draft http://wiki.squeak.org/squeak/uploads/172/standard_v1_9-indexed.pdf 先日 http://d.hatena.ne.jp/propella/20090709/p1#c1247123822 梅澤さんに教えて頂いた資料を読んでみました。これは面白いです。私がケチを付けた所はすでに10年以上も前から言われていた事だったのです。そりゃそうか。 問題をもう一度書くと、Smalltalk の伝統的な開発手法が副作用に依存しているため
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
