A Transformation Strategy for Verifying Logic Programs on Infinite Lists - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alberto Pettorossi, Maurizio Proietti, Valerio Senni. A Transformation Strategy for Verifying Logic Programs on Infinite Lists. In Wolfgang Faber, Nicola Leone, editors, Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010. Volume 598 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [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