A pragmatic approach to pre-testing prolog programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3392 LNAI, Issue , 2005, Pages 294-308

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

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ENGINEERING EDUCATION; ERROR ANALYSIS; STUDENTS;

PRAGMATIC APPROACH; PROLOG PROGRAMMING; TUTORS;

COMPUTER PROGRAMMING;

EID: 26844527423     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11415763_20     Document Type: Conference Paper

References (16)

1. [BHSV99] J. Brunsmann, A. Homrighausen, H.-W. Six, and J. Voss. Assignments in a Virtual University - The Web Assign-System. In Proc. 19th World Conference on Open Learning and Distance Education, Vienna, Austria, June 1999.
2. [BKW03] C. Beierle, M. Kulaš, and M. Widera. Automatic analysis of programming assignments. In A. Bode, J. Desel, S.Ratmayer, and M. Wessner, editors, DeLFI 2003. Proceedings der 1. e-Learning Fachtagung Informatik, volume P-37 of Lecture Notes in Informatics (LNI), Bonn, 2003. Rollen Verlag.
3. [DM88] W. Drabent and J. Małuszyński. Inductive assertion method for logic programs. Theoretical Computer Science, 59:133-155, 1988.
4. [Duc99] M. Ducasse. Opium: An extendable trace analyser for prolog. J. of Logic Programming, 39:177-223, 1999.
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] R. Lütticke, C. Gnörlich, and H. Heibig. 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. [NK02] U. Neumerkel and S. Kral. Declarative program development in Prolog with GUPU. In Proc. of the 12th Internat. Workshop on Logic Programming Environments (WLPE'02), Copenhagen, pages 77-86, 2002.
12. [O'K84] Richard A. O'Keefe. advice.pl 1984. Interlisp-like advice package.
13. [SIC01] Swedish Institute of Computer Science. SICStus Prolog User's Manual, April 2001. Release 3.8.6.
14. [Sta98] 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.
15. [Web03] Homepage Web Assign. http://www-pi3.fernuni-hagen.de/WebAssign/.2003.
16. [Wid04] M. Widera. Testing Scheme programming assignments automatically. In Trends in Functional Programming. Intellect, 2004. (to appear).