http://www.eecs.ucf.edu/~leavens/COP4020/ News about COP 4020 at the University of Central Florida en-us http://blogs.law.harvard.edu/tech/rss leavens@eecs.ucf.edu (Gary T. Leavens) Thu, 09 Feb 2012 13:10:00 EST http://webcourses.ucf.edu http://webcourses.ucf.edu Thu, 09 Feb 2012 13:08:00 EST Homework 2 problems 8-11 are due on Feb. 9 at 11pm. Problem 13 is due Feb. 14 at 11pm. Problems 6-7 and 14 are due Feb. 16 at 11pm. See the PDF file attached to problem 1 of homework 2 on webcourses for the problem details. Also on webcourses is our solution to homework 1, and our solutions for problems 1-3 of homework 2. You can find these on the webcourses home page for the course (at the bottom). Home Page of COP 4020 http://www.eecs.ucf.edu/~leavens/COP4020/syllabus.shtml http://www.eecs.ucf.edu/~leavens/COP4020Spring12/syllabus.shtml Sat, 28 Jan 2012 16:18:00 EST To better correspond to the homework due dates, the date of exam 1 has been moved to February 23. This is now reflected in the syllabus. Home Page of COP 4020 http://www.paulgraham.com/avg.html http://www.paulgraham.com/avg.html Tue, 10 Jan 2012 10:45:00 EST This news item links to the essay I mentioned in class by Paul Graham (from the book "Hackers and Painters") about the expressive power of Lisp and functional programming, and how it helped in a startup company. Home Page of COP 4020 http://www.eecs.ucf.edu/~leavens/COP4020/ http://www.eecs.ucf.edu/~leavens/COP4020Spring12/ Tue, 10 Jan 2012 10:39:00 EST Welcome to COP 4020 for Spring 2012! These web pages are reasonably up to date for the semester, so you are welcome to look around. To get started see the Running Oz page. Home Page of COP 4020 http://www.eecs.ucf.edu/~leavens/COP4020/running_oz.shtml http://www.eecs.ucf.edu/~leavens/COP4020Spring10/running_oz.shtml Tue, 10 Jan 2012 10:02:00 EST The Running Oz page briefly describes how to run the Mozart/Oz system. It includes a troubleshooting section, and describes how to use Oz either from UCF's Eustis system (eustis.eecs.ucf.edu) and how to install it on your own computer. Running it from your own computer is much more convenient. Home Page of COP 4020 http://www.eecs.ucf.edu/~leavens/COP4020/running_oz.shtml#advanced http://www.eecs.ucf.edu/~leavens/COP4020Spring12/running_oz.shtml#advanced Tue, 10 Jan 2012 10:01:00 EST If you want to use the normal Windows editing keystrokes in Emacs, then see the "Advanced Topics" section of the "Running Oz" page, which is linked from this news item. Home Page of COP 4020 http://mitpress.mit.edu/books/chapters/0262220695chap1.pdf http://mitpress.mit.edu/books/chapters/0262220695chap1.pdf Tue, 10 Jan 2012 10:00:00 EST The link of this news item is to the MIT Press's sample chapter for our textbook, which happens to be chapter 1 of the book. You should buy the book itself, as there are no other (legal) copies of other chapters on the web that I know of... Home Page of COP 4020 http://www.eecs.ucf.edu/~leavens/COP4020/meeting-outlines/ http://www.eecs.ucf.edu/~leavens/COP4020Spring10/meeting-outlines/ Tue, 10 Jan 2012 09:59:00 EST A set of "meeting outlines" will be available for each unit, before lectures start for that unit. These are designed for taking notes as they contain an outline and much of what I'll show you in class, but without all the really important bits. This may be helpful if you don't want to be distracted by copying things down, or if it helps you to focus on the important parts. However, I always update them as I prepare for lecture, and so don't print them out until the last minute. They are linked from the syllabus also, so if you want to get the meeting outlines for where we are in the syllabus, just click on the topic name in the syllabus. Home Page of COP 4020 http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-08-04/TR.pdf http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-08-04/TR.pdf Sat, 11 Sep 2010 08:52:00 EDT As mentioned in class, there is a paper that describes why we chose to use Oz and the approach we are using in this class. It's by Gary T. Leavens, "Use Concurrent Programming Models to Motivate Teaching of Programming Languages" It's in Programming Languages Curriculum Workshop 2008, pages 93-98. Volume 43, number 11 of ACM SIGPLAN Notices, Nov. 2008. http://doi.acm.org/10.1145/1480828.1480849 This item links to a preprint verison of the paper, which is Dept. of Electrical Engineering and Computer Science, University of Central Florida, CS-TR-08-04a, April 2008, revised May 2008. Home Page of COP 4020 http://tegr.it/y/1o80 http://tegr.it/y/1o80 Sat, 11 Sep 2010 08:51:00 EDT The link from this news item (http://tegr.it/y/1o80) gives access to a Tegrity recording of a lecture about the reducer, a chapter 2 topic which describes a program that implements the mathematical semantics of the Oz Kernel. See also http://www.eecs.ucf.edu/~leavens/COP4020/reducer/ for the reducer's code. Home Page of COP 4020 http://www.eecs.ucf.edu/~leavens/COP4020/docs/follow-grammar.pdf http://www.eecs.ucf.edu/~leavens/COP4020Spring10/docs/follow-grammar.pdf Fri, 12 Feb 2010 13:07:00 EST This news item links to the "Following the Grammar" paper Home Page of COP 4020 http://www.eecs.ucf.edu/~leavens/COP4020/reducer http://www.eecs.ucf.edu/~leavens/COP4020Spring10/reducer Wed, 03 Feb 2010 21:40:00 EST This news item links to a directory of files that formalize various parts of the semantics of the kernel. In particular, BoundVarIds.oz computes bound variable identifier occurrences, and FreeVarIds.oz computes free variable identifier occurrences. The other files in this "reducer" directory demonstrates the operational semantics of Oz, found in the fild Reducer.oz. There is also a program that does desugaring. Home Page of COP 4020 http://facebook.com/ http://facebook.com Wed, 21 Jan 2009 10:52:00 EST If you have an account at facebook.com (or are willing to sign up for one), please send Gary Leavens a friend request and mention "COP 4020". This will help Gary learn to associate your name and face. Gary's email is leavens@eecs.ucf.edu. Home Page of COP 4020