Search

Fulltext results:

vss

17 Hits, Last modified: 15 years ago

=== 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

teaching

13 Hits, Last modified: 3 years ago

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

8 Hits, Last modified: 5 weeks ago

* [[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

concurrency

6 Hits, Last modified: 6 years ago

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

infinite-trees

5 Hits, Last modified: 6 years ago

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

5 Hits, Last modified: 2 months ago

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, '

bio

1 Hits, Last modified: 8 years ago

AT&T was to be sponsored in its Doctoral Support Program, which enabled me to go back to school full-time

pubs

1 Hits, Last modified: 5 years ago

\\ * **Marc L. Smith**. "Unifying Theories of Programming: CSP + Lazy Observation = True Concurrency,"