Marko Schütz - Publications

[2008] Manfred Schmidt-Schauß, Marko Schütz, and David Sabel. Safety of Nöcker's strictness analysis. Journal of Functional Programming, 18(04):503-551, 2008.
[ bib | http ]
[2007] Manfred Schmidt-Schauß, David Sabel, and Marko Schütz. Deciding inclusion of set constants over infinite non-strict data structures. RAIRO-Theoretical Informatics and Applications, 41(2):225-241, July 2007. The original publication is available at: www.edpsciences.org/ita, © EDP Sciences 2007.
[ bib | PDF | http ]
[2006] Manfred Schmidt-Schauß, David Sabel, and Marko Schütz. Deciding subset relationship of co-inductively defined set constants. Frank report 23, Institut für Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universität Frankfurt am Main, September 2006.
[ bib | PDF | previous version ]
[2005] Manfred Schmidt-Schauß, Marko Schütz, and David Sabel. A complete proof of the safety of Nöcker's strictness analysis. Frank report 20, Institut für Informatik. J.W.Goethe-Universität Frankfurt am Main, April 2005.
[ bib | PDF ]
[2004] Manfred Schmidt-Schauß, Marko Schütz, and David Sabel. On the safety of Nöcker's strictness analysis. Frank Report 19, Institut für Informatik, J.W. Goethe-Universität Frankfurt am Main, October 2004.
[ bib | PDF ]
[2000] Marko Schütz. Analyzing Demand in Non-Strict Functional Programming Languages. Dissertation, Johann Wolfgang Goethe-Universität, Frankfurt, 2000. (title page, appendix in German).
[ bib | compressed PostScript ]
[1995] M. Schütz, M. Schmidt-Schauß, and S.E. Panitz. Efficient Strictness Analysis of Haskell in Haskell Using Abstract Reduction. Frank report 09, Fachbereich Informatik,J.W. Goethe-Universität Frankfurt am Main, 1995.
[ bib | compressed PostScript | PostScript ]
[1995] M. Schütz. The G#-Machine: Efficient Strictness Analysis in Haskell. Frank report (internal report 1/95) 03, Fachbereich Informatik, J.W. Goethe-Universität Frankfurt am Main, 1995.
[ bib | compressed PostScript | PostScript ]
[1995] Manfred Schmidt-Schauß, Sven Eric Panitz, and Marko Schütz. Strictness analysis by abstract reduction using a tableau calculus. In Proc. of the Static Analysis Symposium, number 983 in Lecture Notes in Computer Science, pages 348-365. Springer-Verlag, 1995.
[ bib | compressed PostScript | PostScript ]
[1994] Marko Schütz. Striktheits-Analyse mittels abstrakter Reduktion für den Sprachkern einer nicht-strikten funktionalen Programmiersprache. Diplomarbeit (in german), J.W.Goethe-Universität Frankfurt, 1994. The most recent version of the source code of the implementation for my masters thesis is available.
[ bib | PostScript ]

This file has been generated by bibtex2html 1.69

$Author: sabel $, $Date: 2008/06/06 10:09:17 $

uni ffm © 1997, 2004