Unifying type checking and property checking for low-level code - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer. Unifying type checking and property checking for low-level code. In Zhong Shao, Benjamin C. Pierce, editors, Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009. pages 302-314, ACM, 2009. [doi]

This author has not been identified. Look up 'Jeremy Condit' in GoogleThis author has not been identified. Look up 'Brian Hackett' in GoogleThis author has not been identified. Look up 'Shuvendu K. Lahiri' in GoogleThis author has not been identified. It may be one of the following persons:

Shaz Qadeer

Look up 'Shaz Qadeer' in Google

runs on WebDSL