いつもはあまり読むところがないCommunications of the ACM（米国?計算機学会の機関誌）ですが、ふと今月号を見たら、プログラミング言語関連の記事が意外と多いようです。モデル検査などで有名なVardiがeditorになったからでしょうか？（去年からのようです…