Consistency analysis of decision-making programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Swarat Chaudhuri, Azadeh Farzan, Zachary Kincaid. Consistency analysis of decision-making programs. In Suresh Jagannathan, Peter Sewell, editors, The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014. pages 555-568, ACM, 2014. [doi]

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

Swarat Chaudhuri

Look up 'Swarat Chaudhuri' in GoogleThis author has not been identified. Look up 'Azadeh Farzan' in GoogleThis author has not been identified. Look up 'Zachary Kincaid' in Google

runs on WebDSL