Sciweavers

2 search results - page 1 / 1
» sigcse 1990
Sort
View
154
Voted
SIGCSE
1990
ACM
121views Education» more  SIGCSE 1990»
15 years 11 months ago
The central role of mathematical logic in computer science
J. Paul Myers Jr.
SIGCSE
1990
ACM
126views Education» more  SIGCSE 1990»
15 years 11 months ago
A philosophy and example of CS-1 programming projects
This paper presents a philosophy underlying CS-1 programming projects, and illustrates this philosophy with a concrete example. Integral to the philosophy is the use of Ada packag...
Richard E. Pattis