Automated Program Synthesis for Java Programming Language

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.

[1]  Enn Tyugu,et al.  Ontology-based design of surveillance systems with NUT , 2000, Proceedings of the Third International Conference on Information Fusion.

[2]  Pearl Brereton,et al.  Component-Based Systems: A Classification of Issues , 2000, Computer.

[3]  Sven Lämmermann.  Automated composition of Java software , 2000 .

[4]  Steve Vinoski,et al.  CORBA: integrating diverse applications within distributed heterogeneous environments , 1997, IEEE Commun. Mag..

[5]  Enn Tyugu,et al.  The structural synthesis of programs , 1979, Algorithms in Modern Mathematics and Computer Science.