Automated Program Synthesis for Java Programming Language

Authors:
Mait Harf;Kristiina Kindel;Vahur Kotkas;Peep Küngas;Enn Tyugu
Affiliations:
-;-;-;-;-
Venue:
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Year:
2001

Citing 4
Cited 1

Component-Based Systems: A Classification of Issues

Computer
The structural synthesis of programs

Proceedings on Algorithms in Modern Mathematics and Computer Science
Deductive Composition of Astronomical Software from Subroutine Libraries

CADE-12 Proceedings of the 12th International Conference on Automated Deduction
CORBA: integrating diverse applications within distributed heterogeneous environments

IEEE Communications Magazine

Preconditions for structural synthesis of programs

PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics

Quantified Score

Hi-index	0.00

Visualization

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.