Marko Schütz

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
Safety of Nöcker's strictness analysis.
J. Funct. Program., 2008

2007
Deciding inclusion of set constants over infinite non-strict data structures.
RAIRO Theor. Informatics Appl., 2007

2000
Analyzing demand in non-strict functional programming languages.
PhD thesis, 2000

1995
Abstract Reduction Using a Tableau Calculus
Proceedings of the Static Analysis, 1995


  Loading...