Automatic Analysis of Programming Assignments

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-37, Issue , 2003, Pages 144-153

  Beierle, Christoph ^a   Kulaš, Marija ^a   Widera, Manfred ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC ANALYSIS; FEEDBACK TO STUDENTS; HOMEWORK ASSIGNMENTS; PROGRAMMING ASSIGNMENTS; PROGRAMMING EXERCISE; TEACHERS'; TESTING PROGRAMMES; VIRTUAL UNIVERSITY;

PROLOG (PROGRAMMING LANGUAGE);

EID: 84876099317     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. [AIAI88] Edinburgh University A. I. Applications Institute. Edinburgh Prolog Tools. ftp://sunsite.doc.ic.ac.uk/packages/prolog-pd-software/tools.tar.Z, 1988.
2. [BHSV99] J. Brunsmann, A. Homrighausen, H.-W. Six, and J. Voss. Assignments in a Virtual University – The WebAssign-System. In Proc. 19th World Conference on Open Learning and Distance Education, Vienna, Austria, June 1999.
3. [DM88] W. Drabent and J. Małuszyński. Inductive assertion method for logic programs. Theoretical Computer Science, 59:133–155, 1988.
4. [FBI03] Fachbereich Informatik, FernUniversität Hagen, http://www.informatik.fernuni-hagen.de/studium+lehre/uebersicht.html. 2003.
5. [HPB99] M. Hermenegildo, G. Puebla, and F. Bueno. Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging. In K. Apt, V. Marek, M. Truszczynski, and D. S. Warren, editors, The Logic Programming Paradigm: A 25-Year Perspective. Springer-Verlag, 1999.
6. [Kul00] M. Kulaš. Annotations for Prolog – A Concept and Runtime Handling. In A. Bossi, editor, Logic-Based Program Synthesis and Transformation. Selected Papers of the 9th Int. Workshop (LOPSTR’99), Venezia, volume 1817 of LNCS, pages 234–254. Springer-Verlag, 2000.
7. [LGH02] Rainer Ltticke, Carsten Gnrlich, and Hermann Helbig. VILAB - A Virtual Electronic Laboratory for Applied Computer Science. In Proceedings of the Conference Networked Learning in a Global Environment. ICSC Academic Press, Canada/The Netherlands, 2002.
8. [LVU03] Homepage LVU, FernUniversität Hagen, http://www.fernuni-hagen.de/LVU/. 2003.
9. [Neu97] U. Neumerkel. A programming course for declarative programming with Prolog. http://www.complang.tuwien.ac.at/ulrich/gupu/material/1997-gupu.ps.gz, 1997.
10. [Neu98] H. Neumann. Automatisierung des Testens von Zusicherungen für Prolog-Programme. Diplomarbeit, FernUniversität Hagen, 1998.
11. [O’K84] Richard A. O’Keefe. advice.pl. In DEC-10 Prolog Library [AIAI88]. Interlisp-like advice package.
12. [PLT03] PLT DrScheme: Programming Environment Manual, May 2003. version204.
13. [Stä98] Robert F. Stärk. The theoretical foundations of LPTP (a logic program theorem prover). J. of Logic Programming, 36(3):241–269, 1998. Source distribution http://www.inf.ethz.ch/~staerk/lptp.html. Release 1.05.
14. [Web03] Homepage WebAssign. http://www-pi3.fernuni-hagen.de/WebAssign/. 2003.
15. [ZHM97] H. Zhu, P. Hall, and J. May. Software Unit Test Coverage and Adequacy. ACM Computing Surveys, 29(4):366–427, December 1997.