In this paper we introduce a methodology of program synthesis for Java programming language by extending Java classes with high level specifications. The specifications are handled by a distributed synthesizer also briefly described in this paper. © Springer-Verlag Berlin Heidelberg 2001.
CITATION STYLE
Harf, M., Kindel, K., Kotkas, V., Küngas, P., & Tyugu, E. (2001). Automated program synthesis for java programming language. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2244, 157–164. https://doi.org/10.1007/3-540-45575-2_17
Mendeley helps you to discover research relevant for your work.