Automatic Correctness Proofs for Logic Program Transformations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alberto Pettorossi, Maurizio Proietti, Valerio Senni. Automatic Correctness Proofs for Logic Program Transformations. In Verónica Dahl, Ilkka Niemelä, editors, Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings. Volume 4670 of Lecture Notes in Computer Science, pages 364-379, Springer, 2007. [doi]

This author has not been identified. Look up 'Alberto Pettorossi' in GoogleThis author has not been identified. Look up 'Maurizio Proietti' in GoogleThis author has not been identified. Look up 'Valerio Senni' in Google

runs on WebDSL