Proofs you can believe in: proving equivalences between Prolog semantics in Coq - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jael Kriener, Andy King, Sandrine Blazy. Proofs you can believe in: proving equivalences between Prolog semantics in Coq. In Ricardo Peña, Tom Schrijvers, editors, 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013. pages 37-48, ACM, 2013. [doi]

This author has not been identified. Look up 'Jael Kriener' in GoogleThis author has not been identified. Look up 'Andy King' in GoogleThis author has not been identified. Look up 'Sandrine Blazy' in Google

runs on WebDSL