Learning how to program in early age helps children to develop some capabilities as logical thinking, problem solving, and creativity. Incorporating robotics in programming children can help to learn in a concrete and funny ...

Learning how to program in early age helps children to develop some capabilities as logical thinking, problem solving, and creativity. Incorporating robotics in programming children can help to learn in a concrete and funny ...

Modeling languages have become one of the most important tools in helping to make Mathematical Programming technology easier to use. Having proven its usefulness, more attention is now being given to the improvement of the ...

We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it ...

We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it ...

We propose a new methodology for synthesizing correct functional logic programs. We aim to create an integrated development environment in which it is possible to debug a program and correct it automatically. We start from ...