Marko Schütz

According to our database, Marko Schütz authored at least 4 papers between 1995 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

Safety of Nöcker's strictness analysis.

Manfred Schmidt-Schauß, David Sabel, Marko Schütz

J. Funct. Program., 2008

2007

Deciding inclusion of set constants over infinite non-strict data structures.

Manfred Schmidt-Schauß, David Sabel, Marko Schütz

RAIRO Theor. Informatics Appl., 2007

2000

Analyzing demand in non-strict functional programming languages.

Marko Schütz

PhD thesis, 2000

1995

Abstract Reduction Using a Tableau Calculus

Manfred Schmidt-Schauß, Sven Eric Panitz, Marko Schütz

Proceedings of the Static Analysis, 1995