Frank Zartmann

According to our database, Frank Zartmann authored at least 3 papers between 1994 and 1999.

Collaborative distances:

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

1999

Denotationelle Analysen funktional-logischer Programme.

Frank Zartmann

PhD thesis, 1999

1997

Denotational Abstract Interpretation of Functional Logic Programs.

Frank Zartmann

Proceedings of the Static Analysis, 4th International Symposium, 1997

1994

Mode Analysis of Functional Logic Programs

Michael Hanus, Frank Zartmann

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994