{"_id":"4404","doi":"1542","author":[{"last_name":"Alur","first_name":"Rajeev","full_name":"Alur, Rajeev"},{"first_name":"Pavol","full_name":"Pavol Cerny","last_name":"Cerny","id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Madhusudan","first_name":"P.","full_name":"Madhusudan,P."},{"last_name":"Nam","full_name":"Nam,Wonhong","first_name":"Wonhong"}],"conference":{"name":"POPL: Principles of Programming Languages"},"quality_controlled":0,"title":"Synthesis of interface specifications for Java classes","publication_status":"published","publist_id":"1053","date_updated":"2021-01-12T07:56:44Z","extern":1,"type":"conference","status":"public","year":"2005","publisher":"ACM","page":"98 - 109","day":"01","date_published":"2005-01-01T00:00:00Z","citation":{"ista":"Alur R, Cerny P, Madhusudan P, Nam W. 2005. Synthesis of interface specifications for Java classes. POPL: Principles of Programming Languages, 98–109.","chicago":"Alur, Rajeev, Pavol Cerny, P. Madhusudan, and Wonhong Nam. “Synthesis of Interface Specifications for Java Classes,” 98–109. ACM, 2005. <a href=\"https://doi.org/1542\">https://doi.org/1542</a>.","apa":"Alur, R., Cerny, P., Madhusudan, P., &#38; Nam, W. (2005). Synthesis of interface specifications for Java classes (pp. 98–109). Presented at the POPL: Principles of Programming Languages, ACM. <a href=\"https://doi.org/1542\">https://doi.org/1542</a>","ama":"Alur R, Cerny P, Madhusudan P, Nam W. Synthesis of interface specifications for Java classes. In: ACM; 2005:98-109. doi:<a href=\"https://doi.org/1542\">1542</a>","mla":"Alur, Rajeev, et al. <i>Synthesis of Interface Specifications for Java Classes</i>. ACM, 2005, pp. 98–109, doi:<a href=\"https://doi.org/1542\">1542</a>.","short":"R. Alur, P. Cerny, P. Madhusudan, W. Nam, in:, ACM, 2005, pp. 98–109.","ieee":"R. Alur, P. Cerny, P. Madhusudan, and W. Nam, “Synthesis of interface specifications for Java classes,” presented at the POPL: Principles of Programming Languages, 2005, pp. 98–109."},"month":"01","date_created":"2018-12-11T12:08:41Z"}