Logo des Repositoriums
 

Automatic analysis of programming assignments

Kurzanzeige
dc.contributor.authorBeierle, Christoph
dc.contributor.authorKula, Marjaa
dc.contributor.authorWidera, Manfred
dc.contributor.editorBode, Arndt
dc.contributor.editorDesel, Jörg
dc.contributor.editorRathmeyer, Sabine
dc.contributor.editorWessner, Martin
dc.date.accessioned2018-01-25T09:08:30Z
dc.date.available2018-01-25T09:08:30Z
dc.date.issued2003
dc.description.abstractIn a virtual university, advanced support for all aspects of handling assignments is needed. Homework assignments are particularly in need of help because communication between teachers and learners as well as between learners is not as easy as in presence universities. In this paper, we present an overview of the $AT(x)$ approach (analyze-and-test) for automatically analyzing and testing programs. We describe how $AT(x)$ is used for giving feedback to students working on programming exercises. The $AT(x)$ framework is instantiated to $AT(P)$ and $AT(S)$ aiming at programs written in Prolog and Scheme, respectively.en
dc.identifier.isbn3-88579-366-0
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/15081
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofDeLFI 2003, Tagungsband der 1. e-Learning Fachtagung Informatik, 16.-18. September 2003 in Garching bei München.
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-37
dc.titleAutomatic analysis of programming assignmentsen
dc.typeText/Conference Paper
gi.citation.endPage153
gi.citation.publisherPlaceBonn
gi.citation.startPage144
gi.conference.date16.-18. September 2003
gi.conference.locationGarching

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
GI-Proceedings.37-17.pdf
Größe:
161.77 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P037 - DeLFI 2003 - Die 1. e-Learning Fachtagung Informatik
DeLFI 2003