Using robot programming activities for learning in the classroom is one way to drive interest and engagement in the STEM field among students, especially girls. And this is afield that is particularly characterized by an underrepresentation of women. Accordingly, many countries are increasingly integrating activities related to computer science…

Stepwise program refinement techniques can be used to simplify program verification. Programs are better understood since their main properties are clearly stated, and verification of rather complex algorithms is reduced to proving simple statements connecting successive program specifications. Additionally, it is easy to analyse similar…

From the point of view of functional programming, a computational process to solve a problem is described as a mathematical function taking some arguments (corresponding to the data of the problem) and returning as a result its solution. Turtle Graphics can be used to describe the movements of a virtual turtle, which leaves a trail along his path…