Talks and Poster Presentations (with Proceedings-Entry):
U. Neumerkel:
"Declarative program development in Prolog with GUPU";
Talk: 12th International Workshop on Logic Programming Environments,
Copenhagen;
2002-07-29
- 2002-08-01; in: "WLPE 2002: Logic Programming Environments",
(2002),
77
- 86.
English abstract:
Abstract. We present GUPU, a side-eŽect free environment specialized
for programming courses. It seamlessly guides and supports students
during all phases of program development, covering specification,
implementation, and program debugging. GUPU features several innovations
in this area. The specification phase is supported by reference
implementations augmented with diagnostic facilities. During implementation,
immediate feedback from test cases and from visualization tools
helps the programmer’s program understanding. A set of slicing techniques
narrows down programming errors. The whole process is guided
by a marking system.
Created from the Publication Database of the Vienna University of Technology.