Assignments
Assignment description: Due date: Reading Quiz #1 Readings: PL:BPC Preface, Acknowledgements, and Introduction Fri. 01/19 @ 8:00am Reading Quiz #2 Readings: PL:BPC Chapter 1 Wed. 01/24 @ 8:00am Programming #1 ImpCore Programming Fri. 02/02 @ 11:59pm Reading Quiz #3 Readings: PL:BPC Chapter 2 (Sections 2.0 – 2.6) Wed. 01/31 @ 8:00am Reading Quiz #4 Readings: PL:BPC Chapter 2 (Sections 2.7 – 2.10) Wed. 02/07 @ 8:00am Programming #2 Impcore with Local Variables Fri. 02/09 @ 11:59pm Reading Quiz #5 Readings: PL:BPC Chapter 2 (Sections 2.11 and 2.13 – 2.15)
Tue. 02/13 @ 8:00am Reading Quiz #6 Readings: Programming in Standard ML (Robert Harper) (Chapters 1 – 3; skim Chapters 4 – 13)
Readings: PL:BPC Chapter 5Fri. 02/16 @ 8:00am Programming #3 Scheme Programming Fri. 02/23 @ 11:59pm Reading Quiz #7 Readings: PL:BPC Chapter 6 (Sections 6.0 – 6.5) Wed. 02/28 @ 8:00am Reading Quiz #8 Readings: PL:BPC Chapter 6 (Sections 6.6 – 6.8) Mon. 03/04 @ 8:00am Programming #4 Standard ML Programming Fri. 03/08 @ 11:59pm Reading Quiz #9 Readings: PL:BPC Chapter 10 (Sections 10.0 – 10.9 and 10.11 – 10.14) Wed. 03/20 @ 8:00am Programming #5 Type Systems (pdf) Wed. 03/27 @ 11:59pm Reading Quiz #10 Readings: PL:BPC (supplement) Appendix D Wed. 03/27 @ 8:00pm Reading Quiz #11 Readings: PL:BPC Chapter 7 Fri. 04/12 @ 8:00am Programming #6 Smalltalk Programming (pdf)
prog06.smt
prog06_tests.smt [all tests in one file]
prog06_tests.soln.out [reference solution output]
prog06_tests.zip [tests (and reference solution outputs) in separate files]Fri. 04/05 @ 11:59pm Reading Quiz #12 Readings: PL:BPC Chapter 3 Fri. 04/19 @ 8:00am Programming #7 Prolog Programming (pdf)
prog07.P
prog07_tests.P [all tests in one file]
prog07_tests.zip [tests in separate files]Fri. 04/19 @ 11:59pm Reading Quiz #13 Readings: PL:BPC Chapter 4 Wed. 04/24 @ 8:00am Programming #8 Interpreter Choice (pdf) Mon. 04/29 @ 11:59pm