CSE5340

Programming Language Concepts and Semantics (6 points)

(IT)

Leader: B Meyer

Offered:
Clayton Second semester 2004 (Day)
Clayton Second semester 2005 (Evening)

Synopsis:

Assessment: Written theoretical assignments, practical assignments in using formal specifications and tools

Contact Hours: Two 1-hour lectures + one 1-hour (optional) tutorial per week

Prerequisites: CSE3322 or entry to the Master of Computer Science degree. Basic knowledge of functional programming as well as knowledge of alternative programming paradigms. At least 12 points of computer science oriented mathematics, fundamentals of first-order predicate logic and understanding of the notion of a proof, induction.