{"publist_id":"1053","quality_controlled":0,"publisher":"ACM","year":"2005","page":"98 - 109","extern":1,"status":"public","date_published":"2005-01-01T00:00:00Z","publication_status":"published","day":"01","date_created":"2018-12-11T12:08:41Z","citation":{"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>.","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.","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>","short":"R. Alur, P. Cerny, P. Madhusudan, W. Nam, in:, ACM, 2005, pp. 98–109.","ista":"Alur R, Cerny P, Madhusudan P, Nam W. 2005. Synthesis of interface specifications for Java classes. POPL: Principles of Programming Languages, 98–109.","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>","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>."},"conference":{"name":"POPL: Principles of Programming Languages"},"type":"conference","date_updated":"2021-01-12T07:56:44Z","month":"01","author":[{"first_name":"Rajeev","last_name":"Alur","full_name":"Alur, Rajeev"},{"first_name":"Pavol","full_name":"Pavol Cerny","last_name":"Cerny","id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87"},{"first_name":"P.","last_name":"Madhusudan","full_name":"Madhusudan,P."},{"first_name":"Wonhong","full_name":"Nam,Wonhong","last_name":"Nam"}],"title":"Synthesis of interface specifications for Java classes","doi":"1542","_id":"4404"}