http://www.cs.iastate.edu/~cs541/ News about Computer Science 541 at Iowa State University en-us http://blogs.law.harvard.edu/tech/rss Gary T. Leavens <leavens@cs.iastate.edu> Fri, 15 Dec 2006 15:58:00 CST http://www.cs.iastate.edu/~cs541/Grades/Grades.htm http://www.cs.iastate.edu/~leavens/ComS541Fall06/Grades/Grades.htm Fri, 15 Dec 2006 15:57:00 CST Final grades are now available, including grades for the final exam. Please stop by Gary's office (229 Atanasoff) to get your exam, or if you want to discuss your grade. Home Page of Com S 541 http://www.cs.iastate.edu/~cs541/exam-study-guides/exam2-topics.txt http://www.cs.iastate.edu/~leavens/ComS541Fall06/exam-study-guides/exam2-topics.txt Mon, 11 Dec 2006 02:09:00 CST A study guide for the final exam is now available. Home Page of Com S 541 http://www.cs.iastate.edu/~cs541/homework/hw7-message-passing.pdf http://www.cs.iastate.edu/~leavens/ComS541Fall06/homework/hw7-message-passing.pdf Fri, 08 Dec 2006 01:35:00 CST At 1:17am on December 6, we changed exercise 1 so you only have to do one part of the book's problem 3 instead of 3 as originally required. The number of points remains the same. At 1:35am on December 8, we made tests for exercise 2 available in the homework/hw7/MailboxTest.oz file. Home Page of Com S 541 http://www.cs.iastate.edu/~cs541/syllabus.shtml http://www.cs.iastate.edu/~leavens/ComS541Fall06/syllabus.shtml Mon, 04 Dec 2006 11:30:00 CST The syllabus has been updated to reflect where we are in the course and textbook, and the topics for the final exam. Home Page of Com S 541 http://www.cs.iastate.edu/~cs541/homework/hw6-declarative-concurrency.pdf http://www.cs.iastate.edu/~leavens/ComS541Fall06/homework/hw6-declarative-concurrency.pdf Sat, 11 Nov 2006 23:21:00 CST Homework 6 is now ready with problems due November 14. At 3:50pm on 6 November we added Next.oz to the hw6 directory and the hw6.zip file. At 0:13am on 7 November we corrected the type of ConvergesTo. At 11:00am we fixed the types of SquareRoot and RelativeSquareRoot. At 16:15 we changed the due date to be November 14, as discussed in class. at 23:20 on Nov 11, we withdrew problem 13, as a solution is in the text. Home Page of Com S 541 http://www.cs.iastate.edu/~cs541/homework/hw6.zip http://www.cs.iastate.edu/~leavens/ComS541Fall06/homework/hw6.zip Fri, 27 Oct 2006 05:00:00 CDT A zip file with the tests for Homework 6 is now available in the course directory (and web page) as homework/hw6.zip. Home Page of Com S 541 http://portal.acm.org/ft_gateway.cfm?id=1163518&type=pdf&coll=&dl=ACM&CFID=15151515&CFTOKEN=6184618 http://doi.acm.org/10.1145/1163514.1163518 Mon, 23 Oct 2006 17:01:00 CDT You may be amused to test your knowledge of programming languages and their history with this crossword puzzle by Fernando Berzal. Home Page of Com S 541 http://www.cs.iastate.edu/~cs541/homework/hw5-review.pdf http://www.cs.iastate.edu/~leavens/ComS541Fall06/homework/hw5-review.pdf Thu, 05 Oct 2006 21:46:00 CDT Homework 5 is now ready with problems due October 10. Home Page of Com S 541 http://www.elehack.net/projects/vim-oz http://www.elehack.net/projects/vim-oz Tue, 03 Oct 2006 11:09:00 CDT Michael D. Ekstrand has made configuration files and scripts that use Vim instead of Emacs. You can get them at http://www.elehack.net/projects/vim-oz. Home Page of Com S 541 http://channel9.msdn.com/Showpost.aspx?postid=236352 http://channel9.msdn.com/Showpost.aspx?postid=236352 Sun, 01 Oct 2006 13:23:00 CDT Chris Hilton noted this video about acomplex desugaring process by Anders Hejlsberg given at the Lang.Net 2006 compiler symposium. Chris Cornelison recommended it for this class also. Home Page of Com S 541 http://www.cs.iastate.edu/~cs541/homework/hw4.zip http://www.cs.iastate.edu/~leavens/ComS541Fall06/homework/hw4.zip Wed, 27 Sep 2006 10:08:00 CDT A zip file with the tests for Homework 4 is now available in the course directory (and web page) as homework/hw4.zip. This was updated at 10am on Wednesday to fix a test case for BRelCompose, thanks to Kent Vander Velden. Home Page of Com S 541 http://www.cs.iastate.edu/~cs541/homework/hw4-declarative-programming.pdf http://www.cs.iastate.edu/~leavens/ComS541Fall06/homework/hw4-declarative-programming.pdf Wed, 27 Sep 2006 10:08:00 CDT Homework 4 is now ready with problems due October 3. The test cases are in files in the homework/hw4/ directory underneath the course directory. This was updated at 10am on Wednesday to fix a test case for BRelCompose, thanks to Kent Vander Velden. Home Page of Com S 541 http://www.cs.iastate.edu/~cs541/lib/ http://www.cs.iastate.edu/~leavens/ComS541Fall06/lib/ Mon, 25 Sep 2006 23:00:00 CDT A few testing and assertion helpers are now availble in the course's lib directory. If you copy all the *.oz* files to your directory, then you can do \insert 'Test.oz' to use the testing procedures, for example. These were updated to simplify and work in the current lexical environment at 7:50pm Monday, and to use a functor at 11:00pm Monday. Home Page of Com S 541 http://www.cs.iastate.edu/~cs541/homework/hw3-declarative.pdf http://www.cs.iastate.edu/~leavens/ComS541Fall06/homework/hw3-declarative.pdf Wed, 20 Sep 2006 19:08:00 CDT Homework 3 has had several small corrections to the example in Figure 3, and now uses the new [value creation to unbound] rule. The due date is now Tuesday, Sept 26. Home Page of Com S 541 http://www.cs.iastate.edu/~cs541/lectures/declarative/kernel.txt http://www.cs.iastate.edu/~leavens/ComS541Fall06/lectures/declarative/kernel.txt Wed, 20 Sep 2006 19:07:00 CDT The lecture notes with the kernel language semantics have been modified slightly, to do closures as pairs (Proc,Env) as in the book, and to split the value creation rule into 2 parts. Home Page of Com S 541 http://www.paulgraham.com/avg.html http://www.paulgraham.com/avg.html Fri, 25 Aug 2006 15:35:00 CDT Kent VanderVelden pointed out this interesting essay by Paul Graham about the expressive power of Lisp and how it helped in a startup company. This relates to our discussion of expressive power. Home Page of Com S 541 http://www.cs.iastate.edu/~cs541/running_oz.shtml http://www.cs.iastate.edu/~leavens/ComS541Fall06/running_oz.shtml Wed, 23 Aug 2006 18:33:00 CDT The Running Oz page briefly describes how to run the Mozart/Oz system. It has tips on how to customize emacs for use with Oz. Home Page of Com S 541