Files:DescriptionFile size FormatBrowse
Fulltext0.24 MBPDF (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
Christop Beierle, Marija Kulas, Manfred Widera (2004). Partial Specifications of Program Properties, Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004 http://www.ep.liu.se/ecp_article/index.en.aspx?issue=012;article=002 (accessed 7/28/2014)