Teaching formal programming to first year computer science students

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

Volumn 28, Issue 1, 1996, Pages 155-159

  Mcloughlin, Henry ^a   Hely, Kevin ^a  

^a UNIVERSITY COLLEGE DUBLIN   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SYSTEMS PROGRAMMING; FORMAL LANGUAGES; LOGIC PROGRAMMING; PROBLEM SOLVING; PROGRAMMING THEORY; SOFTWARE ENGINEERING; TEACHING;

FORMAL METHODS; FORMAL PROGRAMMING; GENERIC TEMPLATES; PROGRAMMING BY RULE; PROGRAMMING NOTATION; UNDERGRADUATE CURRICULUM;

COMPUTER SCIENCE;

EID: 0029711968     PISSN: 00978418     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/236462.236530     Document Type: Article

References (9)

1. E. Cohen, Programming in the 1990's, Spr.-Verlag, 1990.
2. E.W. Dijkstra, "On the Economy of Doing Mathematics", in LNCS 669, Spr.-Verlag, 1993.
3. E. Fekete, "Reasoning about Programs", Proceedings of 24th ACM SIGCSE Conference, 198-202, 1993.
4. D. Gries, "Teaching Calculation and Discrimination: A More Effective Curriculum", CACM, 34 (3), 44-55, 1991.
5. D. Gries and F.B. Schneider, A Logical Approach to Discrete Math, Spr.-Verlag, 1993.
6. K. Hely, Formal Programming: Step-by-Step Examples, Tech. Rep. (forthcoming - contact author), U.C.D., 1995.
7. A. Kaldewaij, Programming: The Derivation of Algorithms, Prentice-Hall Int., 1990.
8. C. Morgan, Programming from Specifications (2nd Ed.), Prentice-Hall Int., 1994.
9. A.J.M. van Gasteren, On The Shape of Mathematical Arguments, LNCS 445, Spr.-Verlag, 1990.