Search
You can find the results of your search below.
Fulltext results:
- vss @people:mlsmith
- === We will explore selected parts of the Scheme programming language using WeScheme, a browser--based programming environment. We will discover that algebra provi... the foundation we need for learning how to design programs. The concepts of variables and functions you learned in algebra carry over to designing programs, with an important difference: variables can rep
- top
- communities. Professor Erickson teaches CMPU-100 (Programming with Data), CMPU-101 (Problem-Solving and Abs... ]'s research interests are at the intersection of programming languages and security, especially the use of... sing. Professor Gordon regularly teaches CMPU 100 Programming with Data, CMPU 240 Theory of Computation, an... tions of Computer Science), CMPU-245 (Declarative Programming) and CMPU-365 (Artificial Intelligence). [[h
- teaching @people:mlsmith
- irst-year computer science ==== * [[http://www.programbydesign.org//|Program by Design]] - The computer science core of a liberal arts education\\ * [[http://www.htdp.org/|How to Design Programs]] - An Introduction to Programming and Computing * [[http://www.racket-lang.org/|Racket]] - Includes t
- top @people:mlsmith
- * [[courses:cs377-202651:top|CMPU-377: Parallel Programming]] * Lectures: Tue/Thu 3:10--4:25pm \\ \\... edu/courses/cs377-202401/top | CMPU-377: Parallel Programming]] * Lectures: Tue/Thu 3:10--4:25pm \\ \\ * CMPU-377: Parallel Programming * Lectures: Mon/Wed 12:00--1:15pm (remote... Distributed Computation * Unifying Theories of Programming \\ \\ ==== Quotes ==== //Computer Science
- bibtex @people:priestdo:tips
- omputing Systems}, chapter = {Syntax-directed program modularization}, publisher = {North-Holland, ... . Beebe}, title = {A bibliography of Literate Programming}, howpublished = {http://\-www.\-math.\-uta... Lykkegaard S{\o}rensen}, title = {Elucidative Programming in {Java}}, booktitle = {The Proceedings ... thor = {Kurt Nørmark}, title = {Elucidative Programming}, journal = {Nordic Journal of Computing}
- concurrency @people:mlsmith
- f Concurrency (Roscoe)]] * Unifying Theories of Programming text, by Hoare and He: [[http://www.unifyingt... us * [[http://golang.org/|Go]] – a CSP-inspired programming language * [[https://github.com/atrn/par|... == * [[http://en.wikipedia.org/wiki/Rinda_(Ruby_programming_language)|Rinda]] (Linda library for Ruby Programming Language) * [[http://upc.lbl.gov/|Berkeley UPC
- top @people:walter
- http://www.cs.vassar.edu/~walter/VWiCS.html|VWiCS Program Announcement]] \\ \\ ---- ... learn about data containers while learning how to program using Java. - Algorithms and algorithm co... ent data access. - Graphics and animation programs are written. - Labs and assignments emph... Halting Problem and reduction proofs. \\ \\ * Programming will be optional for some assignments. Some e
- infinite-trees @people:mlsmith
- t aside for now). Imagine that you wanted to run programs to optimize the movement of your player through ... ions ===== What you’re seeing here is a powerful programming concept known as //**laziness**//. In lazy co... interesting concept that we cover in depth in the Programming Languages course (for anyone who is intereste... of the possible nodes at that depth. A real game program would then perform some computation over that lis
- past-courses @people:mlsmith
- ementation -- Fall '12; Spring '13 * CMPU-235 - Programming Languages -- Fall '11, '14 * CMPU-245 - Declarative Programming Models -- Fall '18 * CMPU-240 - Language Th... 75 - Networks -- Fall '07 * CMPU-377 - Parallel Programming * Fall '06, '08, '10, '16, '20, '22, '24 ... ollege: (2001 - 2006) ==== * CS151 - Structured Programming and Elementary Algorithms -- Fall '01, '02, '
- top @people:ide
- /|LREC 2008]], May 26-27, Marrakech, Morocco. * Program Committee, [[http://www.ling.ohio-state.edu/acl08... nguistics]], Columbus, Ohio June 15-20, 2008. * Program Committee, [[http://www.icwsm.org/2008/index.shtm... March 31-April 2, 2008, Seattle, Washington. * Program Committee, [[http://www.gelbukh.com/cicling/2008/... 2008)]], February 17-23, 2008, Haifa, Israel. * Program Committee, [[http://www.lrec-conf.org/lrec2008/IM
- top @people:lemie
- arted, the product was called the Airline Control Program and was given away to mainframe computer customer... [http://en.wikipedia.org/wiki/IBM_Airline_Control_Program| ACP wiki page]] I have also been an adjunct pro
- foo @people:hunsberg
- (using Java) | | CMPU-245: Declarative Models of Programming (Scheme, Lisp, Haskell, Prolog) | | [[|Prior... e (2002-2006) | | CMPU-245: Declarative Models of Programming (2006, 2007) | | CMPU-101: Intro to Computer
- tikkun_passover_2009_supplement_in_plain_text @people:priestdo:tips
- enge Western societies to adopt specific economic programs that flow from these Jewish values: • A National... e political leaders are unwilling to champion any program to seriously address world hunger and homelessnes
- bio @people:mlsmith
- AT&T was to be sponsored in its Doctoral Support Program, which enabled me to go back to school full-time
- pubs @people:mlsmith
- \\ * **Marc L. Smith**. "Unifying Theories of Programming: CSP + Lazy Observation = True Concurrency,"