Abstract
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.
This work was partially funded by Estonian Innovation Foundation under the contract No. 6kl/00.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
E. Tyugu. The structural synthesis of programs, Lecture Notes in Computer Sciences, Vol. 122, 1981, pp. 290–303.
M. Stickel, R. Waldinger, M. Lowry, T. Pressburger, I. Underwood. Deductive Composition of Astronomical Software from Suroutine Libraries. In: 12th Conference on Automated Deduction. A. Bundy, (ed). Springer-Verlag Lecture Notes in Computer Science, Vol. 814, 1994.
S. Vinoski,CORBA: Integrating Diverse Applications Within Distributed Heterogeneous Environments. IEEE Communications Magazine, Vol. 14, No. 2, February 1997.
S. Lämmermann. Automated Composition of Java Software, thesis, Department of Teleinformatics, Royal Institute of Technology, Sweden, May 2000.
V. Kotkas, J. Penjam. Ontology-based design of surveillance systems with NUT. Proceedings of the Third International Conference on Information Fusion, Paris, Vol. 2, 2000.
D. Budgen, P. Brereton. Component-Based Systems: A Classification of Issues. Computer (IEEE CS), November 2000, Vol. 33, No. 11, pp. 54–62.
M. Harf, E. Tyugu. Algorithms of structured synthesis of programs. Programming and Computer Software, Vol. 6, 1980, pp. 165–175.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Harf, M., Kindel, K., Kotkas, V., Küngas, P., Tyugu, E. (2001). Automated Program Synthesis for Java Programming Language. In: Bjørner, D., Broy, M., Zamulin, A.V. (eds) Perspectives of System Informatics. PSI 2001. Lecture Notes in Computer Science, vol 2244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45575-2_17
Download citation
DOI: https://doi.org/10.1007/3-540-45575-2_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43075-9
Online ISBN: 978-3-540-45575-2
eBook Packages: Springer Book Archive