Sciweavers

504 search results - page 21 / 101
» Teaching the compilers course
Sort
View
SIGADA
2007
Springer
14 years 2 months ago
Using SPARK for a beginner's course on reasoning about imperative programs
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
Kung-Kiu Lau
ICFP
2010
ACM
13 years 10 months ago
TeachScheme!: a checkpoint
In 1995, my team and I decided to create an outreach project that would use our research on functional programming to change the K-12 computer science curriculum. We had two diffe...
Matthias Felleisen
KBSE
2008
IEEE
14 years 3 months ago
Social thinking to design social software: A course experience report
Open-source development, social production, social networks and other factors change the way we understand software systems. The paper motivates the use of social thinking to desi...
Cédric Mesnage, Mehdi Jazayeri
SIGCSE
1998
ACM
104views Education» more  SIGCSE 1998»
14 years 1 months ago
Scaling: a design pattern in introductory computer science courses
We present a series of programming exercises that use scaling as a theme for teaching design techniques in the introductory computer science course sequence. All exercises are on ...
Harriet J. Fell, Viera K. Proulx, Richard Rasala
ASSETS
2006
ACM
14 years 2 months ago
Accessibility now!: teaching accessible computing at the introductory level
As ASSETS attendees, we are clearly interested in promoting accessibility in computing. One way to do this is to teach courses on the topic. Most such courses are aimed at upper-l...
Brian J. Rosmaita