Searching Semantically Equivalent Code Fragments in Logic Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wim Vanhoof. Searching Semantically Equivalent Code Fragments in Logic Programs. In Sandro Etalle, editor, Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers. Volume 3573 of Lecture Notes in Computer Science, pages 1-18, Springer, 2004. [doi]

This author has not been identified. It may be one of the following persons:

Wim Vanhoof

Look up 'Wim Vanhoof' in Google

runs on WebDSL