Directional Type Inference for Logic Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Witold Charatonik, Andreas Podelski. Directional Type Inference for Logic Programs. In Giorgio Levi, editor, Static Analysis, 5th International Symposium, SAS 98, Pisa, Italy, September 14-16, 1998, Proceedings. Volume 1503 of Lecture Notes in Computer Science, pages 278-294, Springer, 1998. [doi]

This author has not been identified. Look up 'Witold Charatonik' in GoogleThis author has not been identified. Look up 'Andreas Podelski' in Google

runs on WebDSL