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) Sat, 21 Nov 2009 21:27:00 EST http://www.eecs.ucf.edu/~leavens/COP4020/exams.shtml http://www.eecs.ucf.edu/~leavens/COP4020Spring09/exams.shtml Sat, 21 Nov 2009 21:26:00 EST A study guide for exam 3, which is to be held in class on Tuesday November 24, is available on the exams page. See also the old exams available from the exams page, and the solutions to homework 4, which are now available on webcourses. Home Page of COP 4020 https://webcourses.ucf.edu/ https://webcourses.ucf.edu/webct/entryPageIns.dowebct Sat, 21 Nov 2009 21:25:00 EST Homework 5 problems 6-18 are due on December 1 at 11pm. Note also that the last late date for this last batch of problems is December 7, since our exam is on December 8. Please be sure to answer English problems in your own words, and don't just quote the book. And don't wait to get started on the regular problems! Also solutions for the problems of homework 4 are available on webcourses. Home Page of COP 4020 http://www.eecs.ucf.edu/~leavens/COP4020/examples/index.html#Chapter4 http://www.eecs.ucf.edu/~leavens/COP4020Spring09/examples/index.html#Chapter4 Thu, 05 Nov 2009 10:24:00 EST The examples page (chapter 4 section) has the examples worked in class today, including the hailstone max done eagerly, with demand driven execution, and with lazy execution. Home Page of COP 4020 http://www.eecs.ucf.edu/~leavens/COP4020/examples/index.html http://www.eecs.ucf.edu/~leavens/COP4020Spring09/examples/index.html Thu, 22 Oct 2009 10:47:00 EDT The Queue.java example from today's class was incorrect in trying to use a generic type variable (T) to create an array; that is not permitted in Java with generics, since the type variables have no runtime presence, and so the array creation new T[SIZE] is illegal in Java. One way around this is to write (T[]) new Object[SIZE], which is what is found in the Queue.java file available from the code examples page now. The code examples page has several examples of different kinds of Oz programs keyed to the sections of the book. It also tells you how to access the code examples in the book. Home Page of COP 4020 https://webcourses.ucf.edu/ https://webcourses.ucf.edu/webct/entryPageIns.dowebct Mon, 19 Oct 2009 15:10:00 EDT The formulas used to estimate your final grade and the course weighted average in the class have been updated on webcourses, so the current estimated grade is now reasonably accurate again. Home Page of COP 4020 http://www.eecs.ucf.edu/~leavens/COP4020/reducer http://www.eecs.ucf.edu/~leavens/COP4020Spring09/reducer Wed, 09 Sep 2009 13:34:00 EDT The "Reducer", demonstrates the operational semantics of Oz, using Oz code. The directory of programs is available from the course web page, and also includes programs to compute free and bound variable identifiers, and to do desugaring. See the 0DOCS.pdf file for some explanation. These files are also available through the course resources page and from the examples page. Enjoy. Home Page of COP 4020 http://www.eecs.ucf.edu/~leavens/COP4020/running_oz.shtml http://www.eecs.ucf.edu/~leavens/COP4020Fall09/running_oz.shtml Mon, 31 Aug 2009 15:03:00 EDT The Olympus and Scerola Clusters now have accounts created for you. The main use for these is if you don't (or can't) run Mozart/Oz on your own computer, since they have Mozart/Oz installed. The account uses your UCF NID as the login and the usual default passowrd (Pyymmdd), where "P" is the letter "P", and yy is your birth year, mm your birth month, and dd your birth day. Home Page of COP 4020 http://mitpress.mit.edu/books/chapters/0262220695chap1.pdf http://mitpress.mit.edu/books/chapters/0262220695chap1.pdf Wed, 26 Aug 2009 10:31:00 EDT 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.fctl.ucf.edu/AboutUs/content/H1N1AdvisoryComments-UpdatedAug17.doc http://www.fctl.ucf.edu/AboutUs/content/H1N1AdvisoryComments-UpdatedAug17.doc Wed, 26 Aug 2009 08:15:00 EDT The link of this news item passes along the following advice if you have flu symptoms: "remain at home until at least 24 hours after [you] are free of fever (100 degrees F, 37.8 C) or signs of a fever without the use of fever-reducing medications." Home Page of COP 4020 http://twitter.com/UCFCOP4020 http://twitter.com/UCFCOP4020 Tue, 25 Aug 2009 23:12:00 EDT We are experimenting with a Twitter feed for COP 4020, which is UCFCOP4020.... Let us know if that's useful... Home Page of COP 4020 http://www.eecs.ucf.edu/~leavens/COP4020/contact.shtml http://www.eecs.ucf.edu/~leavens/COP4020Fall09/contact.shtml Tue, 25 Aug 2009 10:25:00 EDT As discussed in class today, Gary's office hours will be Mondays and Fridays from 10:00am to 11:00am, and by appointment. Home Page of COP 4020 http://facebook.com/ http://facebook.com Wed, 21 Jan 2009 10:52:00 EDT 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 http://www.eecs.ucf.edu/~leavens/COP4020/running_oz.shtml http://www.eecs.ucf.edu/~leavens/COP4020Spring09/running_oz.shtml Mon, 12 Jan 2009 12:47:00 EDT 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 the school's Olympus system (olympus.eecs.ucf.edu) and how to install it on your own computer. Home Page of COP 4020 http://lambda-the-ultimate.org/ http://lambda-the-ultimate.org/node/3231 Thu, 12 Mar 2009 10:06:00 EDT MIT's professor Barbara Liskov has won the ACM Turing award for her many contributions to computing, including the idea of abstract data types, their embodiment in the programming language CLU, and her work on distributed systems, including the programming language Argus. The link is to lambda the ultimate, a blog devoted to programming languages, but you can also find more information on Google News. The ACM Turing award is the "nobel prize of computing", the highest award given by the Association for Computing Machinery. Listen to a podcast of her interview on NPR's "Science Friday" (from March 13) at http://www.npr.org/rss/podcast.php?id=510221 Home Page of COP 4020 http://www.eecs.ucf.edu/~leavens/COP4020/meeting-outlines/ http://www.eecs.ucf.edu/~leavens/COP4020Spring09/meeting-outlines/ Sun, 04 Jan 2009 16:29:00 EDT 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/COP4020/reducer http://www.eecs.ucf.edu/~leavens/COP4020Fall09/reducer Sun, 04 Jan 2009 15:20:00 EDT The "Reducer", demonstrates the operational semantics of Oz, using Oz code. The directory of programs is available from the course web page, and also includes programs to compute free and bound variable identifiers, and to do desugaring. See the 0DOCS.pdf file for some explanation. These files are also available through the course resources page and from the examples page. Enjoy. Home Page of COP 4020 http://herbsutter.spaces.live.com/blog/cns/ http://herbsutter.spaces.live.com/blog/cns!2D4327CC297151BB!785.entry Sun, 04 Jan 2009 12:37:00 EDT You may have heard that the new version of C# has closures. Thanks to Brandon Haber for pointing out that the new C++ standard will also have "lambda functions" (anonymous functions) and closures. See the link from this news item. Home Page of COP 4020 http://www.paulgraham.com/avg.html http://www.paulgraham.com/avg.html Sun, 04 Jan 2009 12:22:00 EST Here's an interesting essay by Paul Graham (from the book "Hackers and Painters") about the expressive power of Lisp and how it helped in a startup company. Home Page of COP 4020