<< 本 | ホーム | 本 >>

SEMINAL: Searching for Error Messages in Advanced Languages

型エラーが発生したら構文木を「適当に」変更して型付け可能か調べ、型付け可能になるような変更をユーザに提示する手法の提案。構文木をどう変更するか、見つけた変更をどう提示するか、といったあたりが中心。

author="Benjamin Lerner and Dan Grossman and Craig Chambers",
title="{SEMINAL: searching for ML type-error messages}",
booktitle="ML'06",
publisher="ACM Press",
pages="63--73",
year="2006"

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

タグ : ,



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