Linköping University Electronic Press

Files:

Description

File size

Format

Fulltext

2.29 MB

PDF (requires Acrobat Reader)

Editors:

Ducassé, Mireille ; Nilsson, Ulf ; Seipel, Dietmar

Conference:

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

Publication type:

Conference proceedings

Issue:

012

Language:

English

Introduction:

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/.

Book Cover

(PDF file, requires Acrobat Reader)

Preface

(PDF file, requires Acrobat Reader)

Committee

(PDF file, requires Acrobat Reader)

Presentations

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

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

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

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

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

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

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

Year:

2004

No. of pages:

Series:

Linköping Electronic Conference Proceedings

ISSN (print):

1650-3686

ISSN (online):

1650-3740

File:

http://www.ep.liu.se/ecp/012/ecp04012.pdf

Available:

2004-10-04

Publisher:

Linköping University Electronic Press, Linköpings universitet

REFERENCE TO THIS PAGE

Ducassé, Mireille ; Nilsson, Ulf ; Seipel, Dietmar (2004). Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004 http://www.ep.liu.se/ecp_home/index.en.aspx?issue=012 (5/22/2012)

Responsible for this page: Peter Berkesand Last Updated: 2010-08-30

Tel: +46 13-28 10 00
Fax: +46 13-14 94 03

Linköpings universitet
SE-581 83 LINKÖPING

Linköpings universitetsbibliotek

LiU E-Press

Contents

Presentations