A distributed program synthesizer

Authors:
Vahur Kotkas
Affiliations:
Institute of Cybernetics at Tallinn Technical University, Estonia
Venue:
Acta Cybernetica
Year:
2002

Citing 5
Cited 1

Component primer

Communications of the ACM
Component-Based Systems: A Classification of Issues

Computer
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
Constructing reliable distributed communication systems with CORBA

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

This paper describes an architecture of a distributed synthesizer for automated program construction. The objective of the synthesizer is to realize the ideas of Structural Synthesis of Programs in a computer network. The synthesizer handles structural specifications stored into Java classes as meta-interfaces and works on a network using CORBA technology.