Glynn, Kevin; Stuckey, Peter J.; Sulzmann, Martin; Søndergaard, Harald Exception analysis for non-strict languages. (English) Zbl 1322.68041 Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 98-109 (2002). MSC: 68N18 68N15 68N20 68N30 PDFBibTeX XMLCite \textit{K. Glynn} et al., in: Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP '02, Pittsburgh, PA, USA, October 4--6, 2002. New York, NY: Association for Computing Machinery (ACM). 98--109 (2002; Zbl 1322.68041) Full Text: DOI
Glynn, Kevin; Stuckey, Peter J.; Sulzmann, Martin Effective strictness analysis with HORN constraints. (English) Zbl 0997.68512 Cousot, Patrick (ed.), Static analysis. 8th international symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2126, 73-92 (2001). MSC: 68N18 PDFBibTeX XMLCite \textit{K. Glynn} et al., Lect. Notes Comput. Sci. 2126, 73--92 (2001; Zbl 0997.68512) Full Text: Link
Glynn, Kevin; Stuckey, Peter J.; Sulzmann, Martin; Søndergaard, Harald Boolean constraints for binding-time analysis. (English) Zbl 0984.68024 Danvy, Olivier (ed.) et al., Programs as data objects. 2nd symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2053, 39-62 (2001). MSC: 68N18 68N30 PDFBibTeX XMLCite \textit{K. Glynn} et al., Lect. Notes Comput. Sci. 2053, 39--62 (2001; Zbl 0984.68024) Full Text: Link