Synthesis of interface specifications for Java classes

R. Alur, P. Cerny, P. Madhusudan, W. Nam, in:, ACM, 2005, pp. 98–109.

Download
No fulltext has been uploaded. References only!

DOI
Conference Paper | Published
Author
Alur, Rajeev; Cerny, PavolIST Austria; Madhusudan,P.; Nam,Wonhong
Publishing Year
Date Published
2005-01-01
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.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar