Map
Index
Random
Help
th

QuoteRef: dijkEW3_1976

topics > all references > ThesaHelp: references c-d



ThesaHelp:
references c-d
Topic:
programming as mathematics
Topic:
what is a computer
Topic:
programming by sequential implementation
Topic:
semantics by an abstract machine

Reference

Dijkstra, E.W., "EWD554 A Personal summary of the Gries-Owicki theory", pp. 188-199, March 14, 1976, Dijkstra, E.W., Selected writings on computing: A personal perspective, New York, Springer-Verlag, 1982. Google

Quotations
188 ;;Quote: the purpose of a computer is to execute our programs, not vice versa
188+;;Quote: programming language semantics was very descriptive; only told how to hand-simulate a program


Related Topics up

ThesaHelp: references c-d (337 items)
Topic: programming as mathematics (27 items)
Topic: what is a computer (62 items)
Topic: programming by sequential implementation (26 items)
Topic: semantics by an abstract machine (38 items)

Collected barberCB 11/86
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.