CSC3380: Lecture 9

Thursday, February 22

Deriving a Generic Algorithm

Readings

• Chapter 7 of Stepanov’s From Mathemetics to Generic Programming
• Chapter 1 of Stepanov’s Elements of Programming (careful - very hard read!)
• Iverson’s 1979 Turing Award Lecture ‘Notation as a Tool of Thought’
• Backus’ 1977 Turing Award Lecture ‘Can programming be liberated from the Von Neuman Style?’
• Kapur, Stepanov, and Musser: Operators and Algebraic Structures

Links

• Slides (ppt), slides (pdf)

Code

• Code

Join our discord server to chat and discuss related topics.