Engaging students with theory through ACM collegiate programming contests

Communications of the ACM

Volumn 45, Issue 9, 2002, Pages 98-101

  Shilov, Nikolay V ^a   Yi, Kwangkeun ^b  

^a A P ERSHOV INSTITUTE OF INFORMATICS SYSTEMS   (Russian Federation)

^b Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0041381185     PISSN: 00010782     EISSN: None     Source Type: Journal    
DOI: 10.1145/567498.567506     Document Type: Article

References (6)

1. Gal-Ezer, J. and Harel, D. What (else) should CS educators know? Commun. ACM 41, 9 (Sept. 1998), 77-84.
2. Gorriez, C.M. and Menida, C. Engaging girls with computers through software games. Commun. ACM 43, 1 (Jan. 2000), 42-49.
3. Kozen, D. and Tiuryn, J. Logics of programs. Handbook of Theoretical Computer Science. Elsevier and The MIT Press, 1990, 789-840.
4. Shilov, N.V. and Yi, K. Program Logics Made Easy. ROPAS Technical Memo No. 2000-7, Korea Advanced Institute of Science and Technology; ropas.kaist.ac.kr/lib/doc/ShYi00.ps
5. Guidelines for SIAM Review Authors; www.siam.org/journals/sirev/ Revguide.htm
6. SIGCSE Annual Report. July 1997-June 1998; www.acm.org/sigcse/ 98annrpt.html