CORR
2002
Springer
13 years 4 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 4 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
13 years 9 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 ...