| Files: | Description | File size | Format | Browse |
| Fulltext | 0.24 MB | PDF (requires Acrobat Reader) | Previous | Next |
| | |
| Authors: | Christop Beierle: Wissensbasierte Systeme, Fachbereich Informatik, FernUniversität in Hagen, Germany |
| | Marija Kulas: Wissensbasierte Systeme, Fachbereich Informatik, FernUniversität in Hagen, Germany |
| | Manfred Widera: Wissensbasierte Systeme, Fachbereich Informatik, FernUniversität in Hagen, Germany |
| Publication title: | Partial Specifications of Program Properties |
| Conference: | Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004 |
| Publication type: | Abstract and Fulltext |
| Issue: | 012 |
| Article No.: | 002 |
| Abstract: | For the automatic revision of homework assignments in Prolog programming courses, in general one has to rely on testing or on validating programs with respect to a specification. Here, we present a pragmatic and flexible method for the partial specification of program properties. Within the AT(P) system, partial specifications can be used for automatic analysis of student solutions to Prolog exercises, yielding automatically generated feedback to the student. AT(P) is integrated into the Virtual University system of the FernUniversität at in Hagen. |
| Language: | English |
| Year: | 2004 |
| No. of pages: | 17 |
| Pages: | 18-34 |
| Series: | Linköping Electronic Conference Proceedings |
| ISSN (print): | 1650-3686 |
| ISSN (online): | 1650-3740 |
| File: | http://www.ep.liu.se/ecp/012/002/ecp012002.pdf |
| Available: | 2004-10-04 |
| Publisher: | Linköping University Electronic Press, Linköpings universitet |
|
| REFERENCE TO THIS PAGE |
Ph.D., Lic. Theses
