<< 本 | ホーム | Efficient Type Inference for Secure Information Flow >>

Explaining Type Errors In Polymorphic Languages

前読んだ論文の発展みたいな論文。プログラム中の各構文要素（あるいは構文木の各ノード）がなぜその型を持っているか、型変数の値はなぜその値になったのか、といった説明文を生成する。何をやってくれるかは何となくわかるけど、どうやってるかは不明。

author="Mike Beaven and Ryan Stansifer",
title="{Explaining Type Errors In Polymorphic Languages}",
journal="ACM Letters on Programming Languages and Systems",
volumn="2",
number="1-4",
pages="17--30",
year="1993"

http://doi.acm.org/10.1145/176454.176460

タグ : ,
コメント追加 RSS feed for responses to this blog entry
投稿者 kw : 2009/05/27 17:07:00 JST #



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