Literature/1975/Dijkstra

Authors
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z &

Dijkstra, Edsger W. (1975). "Guarded Commands, Nondeterminacy and Formal Derivation of Program." Communications of the ACM (August 1975) 18(8): 453-457.

Semantics

At the moment G is encountered in a calculation, it is evaluated.

• If G is true, execute S.
• If G is false, look at the context to decide what to do (in any case, do not execute S).

Wikimedia

w: Guarded Command Language w: Predicate transformer semantics w: Dijkstra's algorithm w: Parallel distributed computing w: Self-stabilization

w: Dijkstra Prize

Related works

• (1976). A Discipline of Programming. Prentice-Hall Series in Automatic Computation. A systematic introduction to a version of the guarded command language with many worked examples.

Notes

1900s ^ '00 '01 '02 '03 '04 '05 '06 '07 '08 '09 '10 '11 '12 '13 '14 '15 '16 '17 '18 '19 '20 '21 '22 '23 '24 '25 '26 '27 '28 '29 '30 '31 '32 '33 '34 '35 '36 '37 '38 '39 '40 '41 '42 '43 '44 '45 '46 '47 '48 '49 '50 '51 '52 '53 '54 '55 '56 '57 '58 '59 '60 '61 '62 '63 '64 '65 '66 '67 '68 '69 '70 '71 '72 '73 '74 '75 '76 '77 '78 '79 '80 '81 '82 '83 '84 '85 '86 '87 '88 '89 '90 '91 '92 '93 '94 '95 '96 '97 '98 '99 2000s '00 '01 '02 '03 '04 '05 '06 '07 '08 '09 '10 '11 '12 '13 '14 '15 '16 '17 '18 '19

1900s category ^ '00 '01 '02 '03 '04 '05 '06 '07 '08 '09 '10 '11 '12 '13 '14 '15 '16 '17 '18 '19 '20 '21 '22 '23 '24 '25 '26 '27 '28 '29 '30 '31 '32 '33 '34 '35 '36 '37 '38 '39 '40 '41 '42 '43 '44 '45 '46 '47 '48 '49 '50 '51 '52 '53 '54 '55 '56 '57 '58 '59 '60 '61 '62 '63 '64 '65 '66 '67 '68 '69 '70 '71 '72 '73 '74 '75 '76 '77 '78 '79 '80 '81 '82 '83 '84 '85 '86 '87 '88 '89 '90 '91 '92 '93 '94 '95 '96 '97 '98 '99 2000s category '00 '01 '02 '03 '04 '05 '06 '07 '08 '09 '10 '11 '12 '13 '14 '15 '16 '17 '18 '19

1900s works ad hoc '00 '01 '02 '03 '04 '05 '06 '07 '08 '09 '10 '11 '12 '13 '14 '15 '16 '17 '18 '19 '20 '21 '22 '23 '24 '25 '26 '27 '28 '29 '30 '31 '32 '33 '34 '35 '36 '37 '38 '39 '40 '41 '42 '43 '44 '45 '46 '47 '48 '49 '50 '51 '52 '53 '54 '55 '56 '57 '58 '59 '60 '61 '62 '63 '64 '65 '66 '67 '68 '69 '70 '71 '72 '73 '74 '75 '76 '77 '78 '79 '80 '81 '82 '83 '84 '85 '86 '87 '88 '89 '90 '91 '92 '93 '94 '95 '96 '97 '98 '99 2000s works '00 '01 '02 '03 '04 '05 '06 '07 '08 '09 '10 '11 '12 '13 '14 '15 '16 '17 '18 '19

1900s books cat. ^ '00 '01 '02 '03 '04 '05 '06 '07 '08 '09 '10 '11 '12 '13 '14 '15 '16 '17 '18 '19 '20 '21 '22 '23 '24 '25 '26 '27 '28 '29 '30 '31 '32 '33 '34 '35 '36 '37 '38 '39 '40 '41 '42 '43 '44 '45 '46 '47 '48 '49 '50 '51 '52 '53 '54 '55 '56 '57 '58 '59 '60 '61 '62 '63 '64 '65 '66 '67 '68 '69 '70 '71 '72 '73 '74 '75 '76 '77 '78 '79 '80 '81 '82 '83 '84 '85 '86 '87 '88 '89 '90 '91 '92 '93 '94 '95 '96 '97 '98 '99 2000s books category '00 '01 '02 '03 '04 '05 '06 '07 '08 '09 '10 '11 '12 '13 '14 '15 '16 '17 '18 '19

http://books.google.com/advanced_book_search

The shade of the bar looks invariant in isolation but variant in context, in (favor of) sharp contrast with the color gradient background, hence an innate illusion we have to reasonably interpret and overcome as well as the mirage. Such variance appearing seasonably from context to context may not only be the case with our vision but worldview in general in practice indeed, whether a priori or a posteriori. Perhaps no worldview from nowhere, without any point of view or prejudice at all! Ogden & Richards (1923) said, "All experience ... is either enjoyed or interpreted ... or both, and very little of it escapes some degree of interpretation." H. G. Wells (1938) said, "The human individual is born now to live in a society for which his fundamental instincts are altogether inadequate."