|
|
||
|
|
Start of topic | Skip to actions
Results from Teaching webretrieved at 05:33 (Local)
Online Book \ Owlspace (for quizzes) \ Office Hours \ HW Guide \ HW Checklist \ HW Grading \ Discussion Archive \ COMP 210: Principles ...
Matthias Felleisen's "Five Points of Advice for Freshmen" You cannot learn everything you need to know in lectures and/or homeworks. You must: Read the Book ...
IRC Channel for COMP 210 We are opening an IRC channel for the comp 210 course as an alternative way to contact staff. This should not replace coming to office hours ...
Online Book \ WebCT (for quizzes) \ HW Guide \ HW Checklist \ HW Grading \ Journal Guide \ Discussion Archive \ COMP 210F06: Principles of Computing ...
How to do your homework Most (70%) of your grade depends on good style and following the recipe (grading is described in detail on the homework grading page) ...
How Homework Grades are Determined The exact number of points available for each assignment (and each problem) will be determined based on their relative difficulty ...
HW05 partner is Andrew Kuehler. The homework is on his page. :10/18/06 Hw 6 is posted on Caleb Spare's page. He and I will be working together from now on. ...
AlexDunlevie 23 Sep 2006
AndrewKuehler 30 Aug 2006 Andrew's Journal August 29, 2006 (9:00 pm 9:20 pm): completed Homework 0 September 1st ish, 2006 (30 minutes): Completed ...
Bohang Zhang's Journal for COMP 210F06 10/14/2006 Dear Journal I'm starting the 6th Homework assignment. It's going to be a long weekend! Cry cry cry 8/30/2006 Today ...
Hi. This is my journal page. CalebSpare 01 Sep 2006
5 September 2006 Collaborated on HW1 with partner 3:45 6 pm Worked on HW1 9:30 10:15 am Read ch 3 6 10:15 11:30 pm Did quiz 11:30 11:40 pm 4 ...
ConnorMagill 29 Aug 2006
DavidDowning 29 Aug 2006 (estimate) reading 7:00PM 8:00PM 31 Aug : reading 2:00 PM 3:30 PM Tuesday, September 5: Reading 7:00 PM 8:00 PM
Day Date Task Time Total Week Week 11 0:20 Tue ...
August 29, 2006 did hw0: created TWiki account, WebCT accounts, subscribed to mailing list. (15 minutes) August 31, 2006 read Ch. 1 3 (45 minutes) and took quiz ...
September 18, 2006 Worked on homework at 9:00 (4 hours) September 16, 2006 Read at 4:00 (1 hour) September 14, 2006 Read at 2:00 (45 minutes) September 12, 2006 ...
Day Date Task Time Total Week Week 3 01 ...
Day Date Task Time Total Week Week 12 2:03 Tue ...
JairoRios 30 Aug 2006 Day Date Task Time Total Week week 3 ...
JasonHolden 01 Sep 2006 Journal Entries Day Date Task Time Total Week Week 5 ...
COMP 210F06 Johanan Hsu Journal Page JohananHsu 30 Aug 2006
Students will record the following events in their journal: Reading: Date and start and end times Lab time: Date and session time Meetings: With ...
JustinLane 01 Sep 2006 Day Date Task Time Total Week Week 1 ...
Kevin Le's Comp210 Journal Day Date Task Time Total Week Week 1 ...
Day Date Task Time Total Week Week 1 Mon ...
KiranNair 29 Aug 2006 Day Date Task Time Total Week Week 2 ...
Mario's 210F06 Journal Day Date Task Time Total Week Week 5 ...
w00t!! Le journal de Michael Rog para COMPutadoras 210F06. Day Date Task Time Total Week Week 5 ...
This page is for Nche Tumasang Fofang NcheFofang 03 Sep 2006
Test. NicholasTu 30 Aug 2006
PradnyaBhawalkar 30 Aug 2006 Date Task Time 31 Aug 2006 Read Chapter 3 6:58 PM 7:05 PM 31 Aug 2006 Quiz Chapter 2 5:30 PM 5:38 PM 28 Aug 2006 Read ...
Journal of Rebekah Bing 8/28/06 Set up accounts, downloaded Scheme... 8/29/06 Read Section 1 2 and practiced sample programs RebekahBing 30 Aug 2006
SamuelWang 29 Aug 2006
Day Date Task Time Total Week Mon 27 Nov 2006 Homework 10 2:00 PM 3:55 PM 01:55 Mon 27 Nov 2006 ...
Students will record the following events in their journal: Reading: Date and start and end times Lab time: Date and session time Meetings: With ...
journal page SpencerMiller 05 Sep 2006
SungHwanCho 30 Aug 2006
Day Date Task Time Total Week Week 1 02:05 Thu 31 Aug ...
TomaszCharytoniuk 30 Aug 2006
TylerBarth 30 Aug 2006
WillNemirow 31 Aug 2006 FINALLY GOT MY JOURNAL UP
JASH XiangGuo JASH's Journal JASH's Homework page Day Date Task Time Total Week Week ...
XinranZhu 05 Sep 2006
My name is Yuankai Xu So I spent about 1 hour reading the textbook, figuring out Twiki and what not. I still have about 3 sections of chapter 2 to go and I need ...
Day Date Task Time Total Thursday 9/7 Read CH 7 2:07 3:09 Friday 9/8 HWK2 ...
COMP 210 Journals (This page is depricated) Set ALLOWTOPICCHANGE TeachersComp210Group ChrisWarrington 31 Aug 2006
Comp 210F06 Fall 2006 HWO HW6 6 hours HW8 10 hours MerryLynnMcDonald 30 Aug 2006
MerryLynnMcDonald 05 Sep 2006
COMP 210 Office Hours You are encouraged to consult the professor, TA's, and labby's during the office hours below. If these hours do not work for you, please send ...
Student Questions (and Answers) Quizzes 28 30 (2006/11/22 12/01): No questions. Quiz 27 (2006/11/20): Which language should we use later on? Advanced Student ...
Homework submission checklist Please go over these instructions carefully before submitting each homework. \ Keep in mind that they may be updated between homeworks ...
Template for Journals (This page is depricated) Your journal should contain with the following format and example content: Day Date Task ...
Homework 0 Due: Wed Aug 29, 2007 No grade points This is simply your initial to do list Sign up for a TWiki account. Make sure you use your proper first ...
Assignment 1 (Due Wednesday 9/5/2007 before class) Weight: 200 points. Note for 2008 : 3.3.2 will be made optional. For the next few assignments, make sure that ...
Assignment 10 (Due Wednesday 11/28/2007 before class) Weight: 150 points. Submit via SVN. Note for 2008: This assignment will be due on Monday. Required problems ...
Assignment 11 (Due Monday 12/3/2007 before class) Weight: 150 points. Submit via SVN. Required problems (Must be submitted for grading): Book problems (Problem ...
Assignment 12 (Due Friday 12/7/2007 at 5:00 PM) Weight: 50 points. Submit via SVN. (These may change.) Required problems (Must be submitted for grading): Suppose ...
Assignment 2 (Due Monday 9/10/2007 before class) Weight: 400 points. Please review the homework style guide again. Turn in via SVN. 4.2.1 (part 5) 4.2.3 ...
Assignment 3 (Due Monday 9/17/2006 before class) Weight: 150 points. Required problems (Must be submitted for grading): Book Problems: 9.5.4 ...
Assignment 4 (Due Monday 9/24/2007 before class) Weight: 150 points. Submit via SVN. "Natural number" in this assignment means the type defined in the text. Your ...
Assignment 5 (Due Monday 10/08/2007 before class) Weight: 150 points. Submit via SVN. Required problems (Must be submitted for grading): 14.2.4 Be sure ...
Assignment 6 (Due Wednesday 10/17/2007 before class) Weight: 150 points. Submit via SVN. Before submitting: Make sure you are keeping your homework page up to date ...
Assignment 7 (Due Monday 10/29/2007 before class) Weight: 150 points. Submit via SVN. Required problems (Must be submitted for grading): 21.2.1 You ...
Assignment 8 (Due Monday 11/5/2007 before class) Weight: 200 points. Submit via SVN. Remember to "fall back" on Sunday, November 4, 2007. Required problems (Must ...
Assignment 9 (Due Monday 11/12/2007 before class) Weight: 150 points. Submit via SVN. Required problems (Must be submitted for grading): 29.1.2 You ...
Getting Started #8211; !DrScheme, Design Recipe Original Author: Dr. John Greiner The main goals of this lab are to ensure that you can use the basic functionality ...
Solution: within two? ; within two?: number, number boolean ; Purpose: Returns whether m,n are less than 2 apart. ; A difference of exactly 2 returns false. ; ...
cond Original Author: Dr. John Greiner In this lab, you'll practice with some of the things introduced in class, including functional decomposition, and functions ...
Solution: Color Functions ; color complement : symbol symbol ; ; Purpose: Returns the name of the color complementary to the ; input color. (define (color complement ...
Solution: fastest runner ; fastest runner: nonnegative number symbol ; ; Purpose: Given a distance to run (in meters), ; return the fastest runner on the team. ...
Solution: hypotenuse ; square : number number ; Returns the square of the input. (define (square n) ( n n)) 'square examples ( (square 0) 0) ( (square 2) 4 ...
Solution: within two? ; within two?: number, number boolean ; Purpose: Returns whether m,n are less than 2 apart. ; A difference of exactly 2 returns false. ; ...
Lab 03: Structures Originally developed by Dr. Greiner Instructions for students labbies : Students should read and use DrScheme on the exercises at their own ...
Lists Originally created by Dr. Griener Instructions for students labbies: Start with short group discussion. Students use DrScheme on the exercises at their ...
Non empty Lists of Numbers Solution 1: The base case should describe all lists of length one, the shortest possible non empty lists: ; A non empty list of numbers ...
Natural Numbers List Abbreviations Instructions for students labbies: Students use DrScheme, following the design recipe, working on the exercises at their own ...
Trees Mutually Recursive Data Definitions Instructions for students labbies: Students use DrScheme, following the design recipe, working on the exercises at their ...
Hint for duplicate names If you follow the templates, you'll want an accumulator for all the file names you've ever seen while looking through the tree. You can stop ...
local and Scope Instructions for students labbies: Students use DrScheme, following the design recipe, on the exercises at their own pace, while labbies wander ...
Abstract functions Instructions for students labbies: Students use DrScheme, following the design recipe, on the exercises at their own pace, while labbies wander ...
Consuming and Producing Functions If you have not already done so, please take the quiz before continuing with lab. Instructions for students labbies: Students ...
Generative Recursion Instructions for students labbies: Students use DrScheme, following the design recipe, on the exercises at their own pace, while labbies wander ...
Accumulators on Trees; Vectors Instructions for students labbies: Students use DrScheme, following the design recipe, on the exercises at their own pace, while labbies ...
set! Instructions for students labbies: Students use DrScheme, following the design recipe, on the exercises at their own pace, while labbies wander among the students ...
Destructive operations on lists and vectors Instructions for students labbies: Students use DrScheme, following the design recipe, on the exercises at their own ...
Arithmetic Imprecision Instructions for students labbies: For the first half of lab, students use DrScheme, following the design recipe, on the exercises at their ...
Please sign up under one of the following times: W 2:30 3:50pm Instructor: Nathan Tallent Assistant: Matt Mullins Jeffrey ...
This page includes the written section of the design recipes for the cannonball simulation and quick sort function that were sketched on the board during class. ...
Signup sheet for homework partners Please follow the following template: (don't edit this) My name is X and I'm looking for a partner at Y college My ...
.scm Files Scheme files are typically plain text files saved with a .scm extension. By default, DrScheme will save files with this extension. DrScheme has extended ...
Principles of Program Design Catalog Description: How to systematically design programs in functional and object oriented languages. Includes inductive data definitions ...
Proposal for New Curriculum Task force: Walid, Corky, Alan, Joe, Dung, (Steven?) Week Lecture Theme Content ...
COMP 517: Resource Aware Programming (RAP) Seminar, Spring 2008 Instructor: Walid Taha \ Lectures: Duncan Hall (DH) 3110 \ Time: MWF 9:00 9:50 am Here ...
Opening People Corky, Gregory, Josh, Raj, Jun, Angela Alex, Kath, Yilong Lectures MW, Meetings F Scribe Walid Corky: model theory ...
COMP 617: Resource Aware Programming (RAP) Seminar, Fall 2007 Instructor: Walid Taha \ Lectures: Duncan Hall (DH) 3110 \ Time: MWF 11:00 12:00 pm Here ...
COMP 617F06: Seminar in Resource Aware Programming (Fall 2006) Instructor: Walid Taha \ Lectures: Duncan Hall (DH) 3110 \ Time: MWF 15:30 16:30 pm ...
Fortress and Object Oriented Programming Eric Allen Fortress is a general purpose, statically typed, component based programming language designed for producing ...
Functions that Operate on Sized Lists Write the zip function in Concoqtion for sized lists Write the map function in Concoqtion for sized lists Time ...
Rotations are: Angela Cherif Gregory Raj Roumen Seth Yousra Cherif Gregory Raj Roumen Seth Yousra Angela
Project report (2007 04 09(M)) Group Member: Cherif Salama Angela Zhu \ Date: 2007 04 09 FFT using indexed types Overview Discrete Fourier Transformation ...
Author: Angela Yun Zhu \ Date: 2007 03 17 Performance measurement on sized lists Overview This document is to provide an insight on performance difference ...
617S07 Homeworks for Cherif Andraos Braun Trees (Continued) Functions (Continued) Now that we have a new release of Concoqtion, we can easily write the remove function ...
My COMP 617S07 homework page Sized Lists List Definitions Unsized List Definition type 'a ulist UNil UCons of 'a 'a ulist ;; Sized List Definition ...
Homeworks for Joseph Young Sized Lists Definition Map Function Zip Function Example Converting a Regular List into a Sized ...
Sort I'm working with Daniel Adler on this one. Implementations and obstacles Sized bubble sort We started out by implementing sort on sized lists. Dan took insertion ...
RAP Seminar Notes (2007/01/10) Speaker: Walid Taha Scribe: Walid Taha and Emir Pasalic In general, we will want to have someone else other than the scribe take ...
COMP 617S07: (2007 01 19) Scribe: Cherif Andraos\ Date: 2007 01 19 Emir Presentation on Concoqtion CherifAndraos 09 Feb 2007
Programming in Coq and Comparisons to Concoqtion Scribe: Joseph Young Let us begin with a brief disclaimer. We are not advocating Coq as a general purpose programming ...
Writing Existentials in Concoqtion and Other Tricks to Write Functions on Sized Lists Scribe: Joseph Young Existentials in Concoqtion We would like to write ...
COMP 617S07: (2007 02 02) Scribe: Angela Yun Zhu \ Date: 2007 02 02 Implementation of "at size" We are trying to write a "at size" function which takes ...
Performance measurements Collecting sensible performance numbers require a lot of care. There are several reasons the numbers may change from one measurement to another ...
COMP 617S07: (2007 02 07) Scribe: Angela Yun Zhu \ Date: 2007 02 07 Bug Report (copy from Joseph's homework) The following program yields an error: type ...
COMP 617S07: (2007 02 09) Scribe: Cherif Andraos\ Date: 2007 02 09 Question (Copy from Cherif's Homework) While trying to define the insert function on ...
Feb 12, 2007 Discussion of data structures for tree algorithms Angela tried to implement the Braun tree algorithms of Chris Okasaki we want to use fold to write ...
When Walid is out of town, what format should the lecture take on? Joseph mentioned the need for either a list of goals, for us to implement, or individual semester ...
Updating OCaml for Concoqtion Right now Concoqtion uses OCaml version 3.08, but we may want to update it to 3.09? 3.08 was originally chosen because 3.09 wasn't released ...
Braun Trees Status Copy2 Angela Implemented Copy2 using 2 different versions. The first one using odd even natural encoding and the other one using existential ...
Discussion of Next Topic 1. List sorting 1. More Coq 1. Staged interpreters We will study interpreters next. Sets we talked about: 1. e :: x \lambda ...
Concoqtion Implementation News Emir is working on some important enhancements to concoqtion and hopefully a new version supporting native code and based on the latest ...
Staged Intepreter (cont.) Some discussions before main topic Jun asked if we are able to write untyped functions in a typed setting. Walid: It is not easy to change ...
Discussion Leader: Angela Yun Zhu \ Date: 2007 03 02 Staged Intepreter Review Last few classes, we have already seen how to define "typed terms" in concoqtion ...
Polymorphic Recursion To summarize the work we've been doing with interpreters, look at the types of the two eval functions we've implemented. eval: term env ...
Signatures of eval and type check Joseph asked about the relation between typing judgment and typing at runtime. If we look at type of eval, eval : forall env. ...
Concoqtion Bugs Joseph: Coq blocks need to be split in an unjustified way (Joseph will add this to the bugs page). Joseph: If you overuse variable names in Concoqtion ...
Type of Cast Operator Comparison With Softly Typed Languages' Cast In concoqtion, the cast operator has the following type: cast : \forall a, b. a b a b in ...
Notes for March 21 Clarification regarding type checking a lambda term Note for our type checker function, which takes an untyped lambda calculus term and constructs ...
Scribe: Cherif Andraos Date: 2007 03 26 Sorting Algorithms The project is divided into two phases: First, we want to implement the common sorting algorithms ...
COMP 617S07: (2007 02 07) Scribe: Angela Yun Zhu \ Date: 2007 03 28 Extraction of OCaml code from coq out goal is to extract Ocaml code in coq, while ...
The FFT with Sized Lists DFT: Discrete fourier transform. Transform a signal in time domain into frequency domain x k sum {n 0}^{N 1} x(n) exp(( 2 pi i/N) nk) k ...
Recall that split '(n) slist '(n/2) slist, '(n/2) slist let rec split . n l match l with cons . m1 (x,xs) match xs with cons . m2 (y,ys) ...
An Introduction to Staging in Concoqtion let rec power m n if n 0 then 1 else power m (n 1) m;; power 2 3 2 2^2 2 (2 2^1) 2 (2 (2 ...
Scribe: Angela Zhu Date: 2007 04 09 Sorting Algorithms Today Daniel and Jun talked about sorted list in concoqtion. For any sorting algorithm, which takes ...
Today we wish to answer the question: How can a type system be used as a proof system? In logic systems, we have a number of propositions and then connectives ...
Curry Howard Isomorphism Last time we talked about logic, type systems and the one to one correspondence between them. We are focused on how we can use lambda calculus ...
Joseph gave a presentation on his efforts to write a lambda calculus interpreter in coq and extract OCaml code from it. Advantages of using coq instead of concoqtion ...
Product (Big Pi) Types How does \Pi x:A.B differ from \Forall x.B We will show that the big pi type is a generalized case of both A B and \forall x.B It is so ...
Scribe: Angela Zhu Date: 2007 04 09 Things done and TODOs What have we learned so far: In this semester, our seminar focuses more on implementation. We also ...
Multi staging Unstaged untyped LC interpreter Recall that a simple interpreter for the untyped lambda calculus should look like this: type dom VInt of int ...
How to Give a Good Research Talk Based on a presentation by: Simon Peyton Jones Functional Programming God Implementation of lazy languages ...
Gradual Typing Presenter: Raj scribe: Cherif Date: 2007/10/22 Notes This work was done by Jeremy Siek and Walid Taha in 2006 Dynamic vs Static typing ...
COMP 617S07: Seminar in Resource Aware Programming (Spring 2007) Instructor: Walid Taha \ Lectures: Duncan Hall (DH) 3110 \ Time: MWF 11:00 12:00 pm ...
Plan for COMP 517 and 617 Proposed topics for Fall 2008 Topics that our research group is interested in: MSP for OO Extensible parsing ...
How to Extract OCaml Types in Coq and Use them in a Certified Interpreter Joseph Young OCaml is well suited for implementing interpreters. For example, simply ...
An Application of Staging and Dependent Types on Codes with Sparse Matrices Efficient routines for both dense and sparse linear algebra have been extensively studied ...
Dracula ACL2 Tutorial Ruben Gamboa Access Permissions: (Please don't edit) Set ALLOWTOPICCHANGE DraculaGroup
This page is for discussions related to Jun Inoue's affine arithmetic project for COMP 517 for spring 2008.
Gregory Malecha proposed exploring Separation Logic in COMP 517, Spring 2008. The following discussion assumes that you have read his proposal.
The DrScheme environment Homework assignments and labs for COMP 210 will be done in the Scheme language. The Scheme implementation that we will be using is called ...
Edwin Westbrook Short Bio Edwin Westbrook received a BS in engineering from the University of California at Berkeley and is currently finishing his !PhD from Washington ...
Heifer: A Type Theory for Creating Programming Languages Date April 28rd, 2008 Speaker Edwin Westbrook Abstract This talk will introduce Heifer, a novel type ...
Graduate Admissions Guidelines TOEFL: Minumum 90 iBT, 600 paper based, 250 computer based. See notice from Provost, October 30, 2006 for details.
About Granville Sewell CV: sewellcv.pdf: Granville Sewell CV Website: http://www.math.utep.edu/Faculty/sewell/ Wikipedia Article I found about him: ...
The PDE2D Collocation Finite Element Method Date March 28th, 2008 Speaker Granville Sewell Abstract PDE2D (www.pde2d.com, sold through Visual Numerics' e commerce ...
Resources for High School Students In the computer science department, the introductory course uses Scheme Please feel free to register for an account on this ...
Karen Wu Short Bio Karen Wu is a Senior Software Engineer working in the Sugarland Product Center (SPC) of Schlumberger. She joined Schlumberger in 1997 and worked ...
OCaml for Seasoned Schemer This is a quick introduction to OCaml aimed at readers who are already fluent in Scheme. The Basics ... Follow slides, do each concept ...
Nat Ayewah Short Bio Nat Ayewah is a Ph.D. student of Computer Science at the University of Maryland, College Park. His interests include programming languages, static ...
Nikhil Swamy Short Bio Nikhil Swamy is a Ph.D. candidate enrolled at the University of Maryland, College Park since 2002. He is a member of the Programming Languages ...
End to end Security for Web Applications : A Language based Approach Date March 14th, 2008 Speaker Nikhil Swamy Abstract Most large organizations must maintain ...
Robert Hanmer Short Bio Robert Hanmer is a Consulting Member of Technical Staff at Alcatel Lucent. He worked on switching system fault tolerance and system integrity ...
Fault Tolerance Date April 23rd, 2008 Speaker Robert Hanmer Abstract Software is everywhere and used more and more every day to conduct our business, maintain ...
Ronald Garcia Short Bio Ronald Garcia is a Doctoral Candidate in Computer Science at Indiana University, where he is a member of the Open Systems Laboratory.
Talk by Ronald Garcia (May 8,2008) Computing While Compiling: Reasons and Methods for Compile time Metaprogramming Abstract Software libraries make it much easier ...
Roumen Kaiabachev Short Bio Roumen Kaiabachev, a graduate student in the Programming Languages Group at Rice University, joined Schlumberger in 2007 as an Embedded ...
General Turnin information For this class, homeworks will be turned in using Subversion (Wikipedia article). There are many resources available online if you want ...
MultithreadedTC Date January 9th, 2008 Speaker Nat Ayewah Abstract There are many difficulties associated with developing correct multithreaded software, and ...
Talk on January 30th, 2008 Speakers Karen Wu and Roumen Kaiabachev Abstract Measurement While Drilling (MWD) tools used in Oilfield Services are pieces of high temp ...
Teach Yourself Dracula ACL2 Goal To provide you with step by step instructions to teach yourself how to verify programs using ACL2. Prerequisites The goal of ...
Tim Leite Talk Date: Dec 6, 2007 Title: Abstract Bio Tim Leite is the Director of Education Programs for Visual Numerics, Inc. In his education programs role ...
Tim Leite's Visit Agenda Date: Thursday Dec 6, 2007 From To Activity Location 9:00 am 10:00 am Presentation 10:00 am 1:00 pm ...
TWiki's Teaching web
WebCT WebCT, the quiz software, can be found at http://webct.owlnet.rice.edu/ . Be sure to take the quiz before it's due, normally 8:00 AM the day of the next class ...
This web hosts pages relating to teaching activities. Information of public interest: Image of Computing effort Teaching Web Utilities WebTopicList ...
" warn "off"}%
... .WebChangesAlert, ., .TWikiRegistration
Teaching Web Preferences The following settings are web preferences of the Teaching web. These preferences overwrite the site level preferences in and , ...
TWiki's Teaching web /Teaching
|
|
Log In