Seminar: Deklarative Programmiersprachen

Inhalt

• Logikprogrammierung
• Constraints
• Funktionale Programmierung
• Funktional-logische Programmiersprachen

Zuordnung

Hinweise zur Vortrag und Ausarbeitung

• Hinweise zur Ausarbeitung
• Hinweise zum Vortrag
• Weitere Anmerkungen zu Ausarbeitung und Vortrag

Termine

Zur Teilnehmerliste.

Falls nicht anders angegeben bin ich Ihr Betreuer.

Literatur, Themen & Betreuer

[AB94]

K.R.Apt, R.Bol: Logic Programming and Negation, Journal of Logic Programming, Vol.19/20, 9-71, 1994.

[AEH94]

S.Antoy, R.Echahed, M.Hanus: A Needed Narrowing Strategy, Proc. of the ACM Symposium on the Principles of Programming Languages (POPL), 1994.

[BMSU86]

F.Bancilhon, D.Maier, Y.Sagiv, J.Ullman: Magic sets and other strange ways to implement logic programs, Proc. of the 5th ACM Symposium on Principles of Database Systems (PODS), 1986.

[Cl78]

K.L.Clark: Negation as Failure, in H.Gallaire and J.Minker (eds.), Logic and Databases, Plenum Press, 1978

[CKW89]

W.Chen, M.Kifer, D.S.Warren: HiLog: A Foundation for Higher-Order Logic Programming, Journal of Logic Programming, Vol. 15, 187-230, 1998.

[CW93]

W.Chen, D.S.Warren: Query Evaluation under the Well Founded Semantics, Proc. of the 12th ACM Symposium on Principles of Database Systems (PODS), 168-179, 1993.

[FA97]

T.Frühwirth, S.Abdennadher: Constraint-Programmierung, Springer, 1997.

[Fr98]

T.Frühwirth: Theory and Practice of Constraint Handling Rules, Journal of Logic Programming, Vol.37, 95-138, 1998.

[GSS01]

K.Glynn, P.J.Stuckey, M.Sulzmann: A General Type Class Framework, The University of Melbourne, Department of Computer Science, TR2001/26, 2001.

[Ho01]

P.Hofstedt: How to Integrate Declarative Languages and Constraint Systems, Proc. of "Programmiersprachen und Grundlagen der Programmierung", Aachener Informatik Berichte, 2001-11, 2001.

[KW89]

M.Kifer, J.Wu: A Logic for Object-Oriented Logic Programming, Proc. of the 8th ACM SICACT-SIGMOD-SIGART Symposium on the Principles of Database Systems (PODS), 1989.

[JL87]

J.Jaffar, J.-L.Lassez: Constraint Logic Programming, Proc. of the ACM Symposium on the Principles of Programming Languages (POPL), 1987.

[MS98]

K.Marriott, P.J.Stuckey: Programming with Constraints -- An Introduction, MIT Press, 1998.

[RB01]

O.Ridoux, P.Boizumault: Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog, Journal of Functional and Logic Programming 2001/4, 2001.

[Shen97]

Y.D.Shen: An extended variant of atoms loop checks for positive logic programs, New Generation Computing 15(2):187-204, 1997.

[SYY01]

Y.D.Shen, L.Y.Yuan, J.H.You: Loop checks for logic programs with functions, Theoretical Computer Science, 266(1-2):441-461, 2001.

[Sm94]

G.Smolka: The Definition of Kernel Oz, in A. Podelski, editor, Constraints: Basics and Trends, pages 251--292. Lecture Notes in Computer Science, Vol. 910, SpringerVerlag, Berlin, 1995.

[ST84]

H.Tamaki, T.Sato: Unfold/Fold Transformation of Logic Programs, Proc. of the Second International Conference on Logic Programming, 127-138, Uppsala, July, 1984.