|
[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
|
|