Synthesis of interface specifications for Java classes
Alur R, Cerny P, Madhusudan P, Nam W. 2005. Synthesis of interface specifications for Java classes. POPL: Principles of Programming Languages, 98–109.
Download
No fulltext has been uploaded. References only!
DOI
Conference Paper
| Published
Author
Alur, Rajeev;
Cerny, PavolISTA;
Madhusudan,P.;
Nam,Wonhong
Publishing Year
Date Published
2005-01-01
Publisher
ACM
Page
98 - 109
Conference
POPL: Principles of Programming Languages
IST-REx-ID
Cite this
Alur R, Cerny P, Madhusudan P, Nam W. Synthesis of interface specifications for Java classes. In: ACM; 2005:98-109. doi:1542
Alur, R., Cerny, P., Madhusudan, P., & Nam, W. (2005). Synthesis of interface specifications for Java classes (pp. 98–109). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/1542
Alur, Rajeev, Pavol Cerny, P. Madhusudan, and Wonhong Nam. “Synthesis of Interface Specifications for Java Classes,” 98–109. ACM, 2005. https://doi.org/1542.
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.
Alur R, Cerny P, Madhusudan P, Nam W. 2005. Synthesis of interface specifications for Java classes. POPL: Principles of Programming Languages, 98–109.
Alur, Rajeev, et al. Synthesis of Interface Specifications for Java Classes. ACM, 2005, pp. 98–109, doi:1542.
Google Scholar