Integrating formal models into the programming languages course

SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education)

Volumn , Issue , 2002, Pages 346-350

  Tucker, Allen B ^a   Noonan, Robert E ^b  

^a BOWDOIN COLLEGE   (United States)

^b Dept of Economics and Thomas Jefferson Program in Public Policy at the College of William and Mary   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DIGITAL ARITHMETIC; GRAPHIC METHODS; MATHEMATICAL OPERATORS; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

LOGIC PARADIGMS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0036036112     PISSN: 00978418     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/563517.563474     Document Type: Conference Paper

References (7)

1. How mathematical thinking enhances CS problem solving
2. Our curriculum has become mathphobic!
3. Revised model curriculum for a liberal arts degree in computer science