<< 本 | ホーム | 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

タグ : ,



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