Book Chapter10.1007/3-540-45575-2_17
Automated Program Synthesis for Java Programming Language
Mait Harf,Kristiina Kindel,Vahur Kotkas,Peep Küngas,Enn Tyugu +4 more
- 02 Jul 2001
- pp 157-164
2
TL;DR: A methodology of program synthesis for Java programming language by extending Java classes with high level specifications by using a distributed synthesizer also briefly described in this paper.
read more
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.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Preconditions for structural synthesis of programs
Vahur Kotkas
- 27 Jun 2006
TL;DR: An extension to the logical language used in Structural Synthesis of Programs (SSP) is presented and a modified synthesis algorithm to handle branching in program synthesis is described and described.
References
Ontology-based design of surveillance systems with NUT
Vahur Kotkas,Jaan Penjam,Enn Tyugu +2 more
- 10 Jul 2000
TL;DR: This paper covers ontology-based programming, using the NUT language as a notation for the semantics of domain knowledge, and a specification method and problem-solving techniques are demonstrated on an example of modeling and management of a radar surveillance system.
5
Component-based systems: a classification of issues
Pearl Brereton,David Budgen +1 more
TL;DR: This work describes software components as units of independent production, acquisition, and deployment that interact to form a functional system that software developers must address for component-based systems (CBS) to achieve their full potential.
CORBA: integrating diverse applications within distributed heterogeneous environments
TL;DR: An overview of the Object Management Architecture is provided, in detail the CORBA component of that architecture is described, and a description of the OMG organization is described along with some of its current and future work.