Sciweavers

13
Voted
WLP
2004
Springer

A Pragmatic Approach to Pre-testing Prolog Programs

13 years 11 months ago
A Pragmatic Approach to Pre-testing Prolog Programs
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of small homework assignments with precisely describable tasks, AT(P), a Prolog instance of the general AT(x) framework, is able to find many of the errors usually made by students and to communicate them in a manner understandable for beginners in Prolog programming. The system is being used in distance education where direct communication between students and tutors is most of the time not possible.
Christoph Beierle, Marija Kulas, Manfred Widera
Added 03 Jul 2010
Updated 03 Jul 2010
Type Conference
Year 2004
Where WLP
Authors Christoph Beierle, Marija Kulas, Manfred Widera
Comments (0)