This site contains wikipages for the department of computer science and engineering at Chalmers and GU. 
AoP /
AoPDuring study period 4 (end of March to beginning of June 2008) Patrik Jansson led a 7.5hp (research level) seminar course on "Algebra of Programming" centered around the book by Bird & de Moor. (Undersidor är skyddade av lösenord (driB baklänges) för att undvika spam.) Course outline
ContentFrom the preface of the AoP book: "Our purpose in this book is to show how to calculate programs. We describe an algebraic approach to programming, suitable both for the derivation of individual programs and for the study of programming principles in general. The programming principles we have in mind are those paradigms and strategies of program construction that form the core of the subject known as Algorithm Design. Examples of such principles include: dynamic programming, greedy algorithms, exhaustive search, and divide and conquer."
This is the TOC from the AoP book: 1. Programs 2. Functions and Categories 3. Applications 4. Relations and Allegories 5. Datatypes in Allegories 6. Recursive Programs 7. Optimization Problems 8. Thinning Algorithms 9. Dynamic Programming 10. Greedy Algorithms AudienceThis is copied verbatim from the preface: "The book is addressed primarily to the mathematically inclined functional programmer, though the nonfunctional – but still mathematically inclined – programmer is not excluded. Although we have taken pains to make the book as selfcontained as possible, and have provided lots of exercises for selfstudy, the reader will need some mathematical background to appreciate and master the more abstract material. A first course in functional programming will help quite a lot, since many of the ideas we describe can be found there in more concrete clothing. Prior exposure to the basic ideas of set theory would be a significant bonus, as would some familiarity with relations and equational reasoning in a logical calculus. The bibliographical remarks at the end of each chapter describe where appropriate background material can be found." ExaminationEach student should
Schedule and assigment of seminars to participants:See Sem 1 for details. Ten seminars:
Selected PapersSelected papers and their relationship to the AoP theme will be listed here. Links:
