Paper: Engaging Students with Theory through ACM Collegiate Programming Contests — education

Nikolay V. Shilov and Kwangkeun Yi

http://ropas.kaist.ac.kr/~kwang/paper/02-cacm-shyi.pdf

“Training sessions are good opportunities to present students with

challenging programming problems that cannot be solved without
theoretical background in spite of simple formulation. The trainers
should provide students with background theory as soon as
students realize the programming complexity of these problems.”

Related link:

- Kwangkeun Yi’s site has a lot of papers on formal methods. Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers seems interesting.

Leave a Reply

Your email address will not be published. Required fields are marked *

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>