Helping students debug concurrent programs.
Jan LönnbergLauri MalmiAnders BerglundPublished in: Koli Calling (2008)
Keyphrases
- helping students
- concurrent programs
- deeper understanding
- video games
- process algebra
- high school students
- concurrent programming
- middle school students
- web applications
- asynchronous circuits
- formal specification
- mathematical concepts
- concurrent processes
- concurrent systems
- model checking
- case study
- programming environment