Date: Wed, 20 Nov 1996 23:18:02 GMT
Server: NCSA/1.5
Content-type: text/html
22C:123 Programming language foundations - Fall 1995
22C:123 Programming language foundations - Fall 1995
Instructor:
Maria Paola Bonacina
(bonacina@cs.uiowa.edu)
Teaching Assistant:
Yungui Huang
Class Meetings: 2:30pm - 3:45pm TuTh in 113 MacLean Hall
Contents of the course:
- Syntax: grammars, attribute grammars, logical grammars (or definite clause
grammars) and their implementation in Prolog.
- Semantics: self-definition of programming languages, axiomatic
semantics, lambda calculus, domain theory, denotational semantics,
algebraic semantics, semantics of Prolog.
- Language used: Prolog.
Textbook:
- Ken Slonneger, Barry L. Kurtz, Formal Syntax and Semantics
of Programming Languages, First edition, Addison Wesley, 1995,
ISBN: 0-201-65697-3.
Other books:
- W.F.Clocksin and F.Mellish, Programming in Prolog,
4th edition, Springer Verlag, 1994, ISBN: 3-540-58350-5.
- M.Gordon, The Denotational Description of Programming Languages,
Springer Verlag, 1979.
- A.J.Kfoury, R.N.Moll, M.A.Arbib,
A Programming Approach to Computability,
Springer Verlag, 1982, ISBN: 0-387-90743-2.
- J.W.Lloyd, Foundations of Logic Programming, Second Edition,
Springer Verlag, 1987, ISBN: 3-540-18199-7.
Back to my teaching page.
This page was last updated on Monday, 13-May-96 11:43:19 CDTby
Maria Paola Bonacina
(bonacina@cs.uiowa.edu).