A method of automatic programming, called genetic programming, assumes that the desired program is found by using a genetic algorithm. We propose an idea of ant colony programming in which instead of a genetic algorithm an ant colony algorithm is applied to search for the program. The test results demonstrate that the proposed idea can be used with success to solve the approximation problems.

This paper discusses an experience with programming courses using identification and formal representation of programming schemas and their potential for automatic analysis. A relation with Bloom’s taxonomy has been used to support the classification of these schemas. We intend to use these tools for classification as well as feedback routing with respect to source code produced by programming ...

This report documents the program and the outcomes of Dagstuhl Seminar 13502 “Approaches and Applications of Inductive Programming”. After a short introduction to inductive programming research, an overview of the talks and the outcomes of discussion groups is given. Seminar 8.–11. December, 2013 – www.dagstuhl.de/13502 1998 ACM Subject Classification I.2.2 Automatic Programming, Program Synthesis

This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification language, so its implementation involves the transformation of specifications to efficient algorithms. The language is described and the implementation task is discussed. 1998 ACM Subject Classification D.1.6 Logic Programm...

A. Ohori (Ed.): Programming Languages and Systems. Proceedings. LNCS 2895, pp. 246–264, 2003. c © Springer-Verlag Berlin Heidelberg 2003 Abstract. We present a method for automatic program inversion in a first-order functional programming language. We formalize the transformation and illustrate it with several examples including the automatic derivation of a program for run-length decoding from...

1 The objective Logic programming languages have been around for more than twenty years. Despite their theoretical advantages over conventional programming languages, they have not had signiicant impact on the computer industry. Most of the 500 applications on the Prolog 1000 list 1 are small by industrial standards (fewer than ten exceed 100,000 lines of code), and very few have a user base ex...

Robots have become significantly more powerful and intelligent over the last decade, and are moving in to more service oriented roles. As a result robots will more often be used by people with minimal technical skills and so there is a need for easier to use and more flexible programming systems. This paper reviews the current state of the art in robot programming systems. A distinction is made...

This is a position paper in which I argue that massive open online programming courses can benefit by the application of automated assessment of programming assignments. I gathered success factors and identified concerns related to automatic assessment through the analysis of experiences other researchers have reported when designing and using automated assessment of programming assignments and...

The success of large-scale parallel architectures is limited by the diiculty of developing machine-independent parallel programs. We have developed Fortran D, a version of Fortran extended with data decomposition speciications, to provide a portable data-parallel programming model. This paper presents the design of two key components of the Fortran D programming system: a prototype compiler and...