Denotational Abstract Interpretation of Functional Logic Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frank Zartmann. Denotational Abstract Interpretation of Functional Logic Programs. In Pascal Van Hentenryck, editor, Static Analysis, 4th International Symposium, SAS 97, Paris, France, September 8-10, 1997, Proceedings. Volume 1302 of Lecture Notes in Computer Science, pages 141-159, Springer, 1997.

This author has not been identified. Look up 'Frank Zartmann' in Google

runs on WebDSL