Duggan, D., Ophel, J., and Bent, F. Explaining type reconstruction. In ACM SIGPLAN Programming Language Design and Implementation (June 1994), ACM. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Diagnosis of Ill-typed Programs - Choppella, Haynes (1995) (4 citations) (Correct)
....We demonstrate that more distant nodes may contribute to the error. Our algorithm employs adjacency in a type constraint graph rather than the parse tree. Beaven and Stansifer [1] and Soosaipillai [19] develop a method of explaining the flow of type information in a parse tree. Duggan et al. [5] have developed a similar method. While these techniques are useful for building a type debugging environment that guides the user by explaining the process of type inference, they are not designed to identify the source of a type error. Program slicing techniques have been studied in the ....
Duggan, D., Ophel, J., and Bent, F. Explaining type reconstruction. In ACM SIGPLAN Programming Language Design and Implementation (June 1994), ACM.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC