<< Flow-insensitive Static Analysis for Detecting Integer Anomalies in Programs | ホーム | Gradual Typing with Unification-based Inference >>

BabyJ: From Object Based to Class Based Programming via Types

JavaScript ライクな BabyJ という言語、型情報が書ける BabyJT という言語と型システムと健全性、さらに Java ライクな言語への変換と変換の健全性などの話。個人的には incrementally add type information と書かれているのが気になったけど、具体的にどうやって incrementally add するのか書かれていなくて残念。JavaScript の型について BabyJ くらいのサブセットから始めるのはありかも。

author="Christopher Anderson and Sophia Drossopoulou",
title="{BabyJ: From Object Based to Class Based Programming via Types}",
journal="Electronic Notes in Computer Science",
volumn="82",
number="8",
pages="53--81",
year="2003"

タグ : ,



コメント追加 トラックバック送信