| 
|
Quote: most practical programming doesn't involve much mathematical theory; contradicts computer science education
topics >
all references >
references a-b >
Group:
computer science
Topic:
programming as mathematics
Topic:
program proving is infeasible
Quotation Skeleton
Fundamentally, today's computer science departments … suffer from the historical accident of their mathematical … To date … it has failed to address seriously the difficult … [p. 158] The simple fact is that most practical … Similarly, programmers are virtually never called upon to … leave one with the impression that this is … [p. 159] Instead, verification becomes a shared joke among … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: program verification is a shared joke among programmers; something that must be learned and then ignored
Group: computer science (871 topics, 23143 quotes)
Topic: programming as mathematics (27 items)
Topic: program proving is infeasible (46 items)