Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)
[Auguston 90] M.Auguston; “Programming language RIGAL as a compiler writing tool”; ACM SIGPLAN Notices; Vol. 25; December 1990; pp.61-69.
[Auguston 94] M.Auguston; “A Language for Debugging Automation”; in the Proceedings of the 6th International Conference on Software Engineering and Knowledge Engineering SEKE’94; Knowledge Systems Institute; 1994; pp.108-115.
[Fradet; Le Metayer 97]P.Fradet; D. Le Metayer; “Shape Types”; in the Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL’97; ACM Press; 1997; pp.27-37.
[Ghiya; Hendren 96]R.Ghiya; L.Hendren; “Is it a Tree; a DAG; or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C”; in the Proceedings of the 23rd ACM SIGPLANSIGACT Symposium on Principles of Programming Languages POPL’96; ACM Press; 1996; pp.1-15.
[Landi 92] W.Landi; “Undecidabilty of static analysis”; ACM Letters on Programming Languages and Systems; Vol 1; No 4; 1992.
[Luckham 90] D.Luckham; “Programming with Specifications”; Springer Verlag; 1990.
[Miu Har Hon 95]Miu Har Hon; “Assertions for List Data Structures”; M.S. Project; Department of Computer Science; New Mexico State University; November 1995.
[Pande et al. 94]H.Pande; W. Landi; B. Ryder; “Interprocedural Def-Use Associations for C Systems with Single Level Pointers”; IEEE TSE; Vol. 20; No 5; May 1994; pp.385-403
[Sagiv; Reps 96]M.Sagiv; T.Reps; “Solving Shape-Analysis Problems in Languages with Destructive Updating”; in the Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL’96; ACM Press; 1996; pp.16-31.