According to the usual formulation of the automatic programming task, one starts with a specification of a programming problem, and seeks to automatically construct a program satisfying that specification. This paper concerns a different style of automatic programming. Rather than defining the class of programming problems to be dealt with by the language in which those problems are formulated,...

The goal of this work is to derive four-voice music pieces from given musical plans, which describe the harmonic flow and the intentions of a desired composition. We developed the experimentation platform COMPOzE for intention-based composition. COMPOzE is based on constraint programming over finite domains of integers. We argue that constraint programming provides a suitable technology for thi...

For many programming tasks we would be glad to have some kind of automatic evaluation process. As an example, most of the programming contests use an automatic evaluation of the contestants’ submissions. While this approach is clearly highly efficient, it also has some drawbacks. Often it is the case that the test inputs are not able to “break” all flawed submissions. In this article we show th...

The present paper investigates the categories of fbnctionality implemented by software in Automatic Test Systems and the programming paradigms that are commonly used for implementation. Building on the conclusions of this analysis, the paper proposes a combined development paradigm, where visual programming is used at diagnosis level, while both textual and visual languages are supported for im...

Genetic Programming has been successfully used to perform automatic generation of robot programs. However, to improve robustness of the generated robot programs, each candidate solution was evaluated under many environments which required the substantial processing time. This study proposed a parallel implementation to reduce the execution time. By using a coarse-grained model for parallelizati...

Cooperative task management can provide program architects with ease of reasoning about concurrency issues. This property is often espoused by those who recommend “event-driven” programming over “multithreaded” programming. Those terms conflate several issues. In this paper, we clarify the issues, and show how one can get the best of both worlds: reason more simply about concurrency in the way ...

Automatic program comprehension applications, which try to extract programming knowledge from program code, share many features of human program comprehension models. However, the human trait of learning seems to be missing among the shared features. We present an approach to integrate machine learning techniques into automatic program comprehension, and present an example implementation in the...