Theory and Implementation of a Real-Time Extension to the π-Calculus
π計算の新しい時間拡張の提案。稠密時間で時間待ち動作を導入。タイムアウトは τ。あるアクションが ready になってから発火するまでの時間を後続のプロセスで利用することが可能。等価関係は、open bisimilarity に今後 t 単位時間の間は時間経過に関して bisimilar であるという条件を追加して拡張したもの。
author="Ernesto Posse and Juergen Dingel",
title="{Theory and Implementation of a Real-Time Extension to the π-Calculus}",
booktitle="Formal Techniques for Distributed Systems",
publisher="Springer",
volume="6117",
series="LNCS",
pages="125--139",
year="2010"
The Eval That Men Do: A Large-Scale Study of the Use of Eval in JavaScript Applications
JavaScript を利用した Web アプリケーションにおける eval の利用に関する大規模な調査。10000 サイトについて 55 万回の eval 呼び出しを調査。引数に渡された文字列は全部で 337 MB。eval で実行する操作、eval でアクセスするスコープ、eval の引数のパターン、eval の引数の由来などを調査している。全呼び出しの 3 分の 2 は eval ではないもっとまともな書き方に置き換えることができること、引数の多くは文字列リテラル、文字列リテラルと変数の連結、DOM ツリーの内容に由来するものが多いことなどが判明した。変な使い方の割合が想像以上に多い。
author="Gregor Richards and Christian Hammer and Brian Burg and Jan Vitek",
title="{The Eval That Men Do: A Large-Scale Study of the Use of Eval in JavaScript Applications}",
booktitle="ECOOP 2011",
publisher="Springer",
volume="6813",
series="LNCS",
pages="52--78",
year="2011"
Gradual Typing for Generics
ジェネリクスを考慮した漸進的型付け。同じ著者による FJ 向け漸進的型付けの発展で、FGJ 向けの漸進的型付けの話。
author="Lintaro Ina and Atsushi Igarashi",
title="{Gradual Typing for Generics}",
booktitle="OOPSLA '11",
publisher="ACM",
pages="609--624",
year="2011"