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 10/23/2014)