| 
|
QuoteRef: dijkEW3_1976
topics >
all references >
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
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
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)