Non-linear loop invariant generation using Gröbner bases - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sriram Sankaranarayanan, Henny Sipma, Zohar Manna. Non-linear loop invariant generation using Gröbner bases. In Neil D. Jones, Xavier Leroy, editors, Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004. pages 318-329, ACM, 2004. [doi]

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

Sriram Sankaranarayanan

Look up 'Sriram Sankaranarayanan' in GoogleThis author has not been identified. Look up 'Henny Sipma' in GoogleThis author has not been identified. Look up 'Zohar Manna' in Google

runs on WebDSL