CORR
2002
Springer
13 years 11 months ago
2002
Springer
Abstract. We present GUPU, a side-effect free environment specialized for programming courses. It seamlessly guides and supports students during all phases of program development, ...
NJC
2006
13 years 11 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
IEEEICCI
2003
IEEE
14 years 4 months ago
2003
IEEE
During software evolution, programmers add new functionalities and release new versions of software. This complicated work involves not only program development but also learning ...