Frank Zartmann

Denotational Abstract Interpretation of Functional Logic Programs

Frank Zartmann, 1997, SAS.

Mode Analysis of Functional Logic Programs

Michael Hanus, Frank Zartmann, M. Hanus, 1994, SAS.

Denotationelle Analysen funktional-logischer Programme

Frank Zartmann, 1999 .