Title:
Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004
Download:
Full text (pdf) Book_Cover Preface Committee
Editor(s):
Mireille Ducassé: IRISA/INSA de Rennes, France Ulf Nilsson: Linköpings Univ., Linköping, Sweden Dietmar Seipel: Univ. Würzburg, Germany
Year:
2004
Issue:
012
No. of pages:
91
Language:
English
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Published:
2004-10-04
Publisher:
Linköping University Electronic Press; Linköpings universitet


Logic Programming and Constraint Logic Programming are powerful programming paradigms; but quite different from other paradigms and often perceived as hard to learn without sufficient aid. The aim of the first international workshop on Teaching Logic Programming; TeachLP 2004; was to investigate what is currently taught and how; to discuss what should be taught and why. The workshop was held in Saint-Malo; France; on September 8-9 2004 in conjunction with the 20th International Conference on Logic Programming; ICLP’04. For further details see the TeachLP 2004 web-site: http://www.ida.liu.se/%7Eulfni/teachLP2004/.

Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004

Presentations

012:001
Christine Solnon
An On-line Course on Constraint Programming
[Abstract and Fulltext]

012:002
Christop Beierle, Marija Kulas, Manfred Widera
Partial Specifications of Program Properties
[Abstract and Fulltext]

012:003
Tibor Tibor
Teaching Prolog Programming at the Eötvös Loránd University; Budapest
[Abstract and Fulltext]

012:004
Henning Christiansen
Prolog as Description and Implementation Language in Computer Science Teaching
[Abstract and Fulltext]

012:005
Péter Szeredi
Teaching Logic Programming at the Budapest University of Technology
[Abstract and Fulltext]

012:006
Paul Douglas, Steve Barker
A Logic Programming E-Learning Tool for Teaching Database Electronic Conference Proceedings Dependency Theory
[Abstract and Fulltext]

012:007
Steve Barker, Paul Douglas
A Database Transaction Scheduling Tool in Prolog
[Abstract and Fulltext]

Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004

Author:
Mireille Ducassé, Ulf Nilsson, Dietmar Seipel
Title:
Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment