Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
U. Neumerkel:
"Declarative program development in Prolog with GUPU";
Vortrag: 12th International Workshop on Logic Programming Environments,
Copenhagen;
29.07.2002
- 01.08.2002; in: "WLPE 2002: Logic Programming Environments",
(2002),
S. 77
- 86.
Kurzfassung englisch:
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.
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.