Type error slicing in implicitly typed higher-order languages

详细信息    查看全文

• 作者：Haack ; Christian ; Wells ; J.B.
• 关键词：Type error location ; Type inference ; Intersection types
• 刊名：Science of Computer Programming
• 出版年：2004
• 出版时间：March, 2004
• 年：2004
• 卷：50
• 期：1-3
• 页码：189-224
• 全文大小：412 K

文摘

Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that identifies the location of a type error as a set of program points (a slice) all of which are necessary for the type error. We identify the criteria of completeness and minimality for type error slices. We discuss the advantages of complete and minimal type error slices over previous methods of presenting type errors. We present and prove the correctness of algorithms for finding complete and minimal type error slices for implicitly typed higher-order languages like Standard ML.