A distributed program synthesizer

  Vahur Kotkas

  Acta Cybernetica 15 (2002) 567-581.

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.

  Keywords: SSP, Java, Automated Synthesis of Programs, Meta-Interfaces.