| 
|
QuoteRef: parnDL8_1983
topics >
all references >
ThesaHelp:
references p-r
ThesaHelp:
ACM references m-z
Topic:
state machine
Topic:
programming as mathematics
Topic:
program source as truth
Group:
program control
Topic:
generalized repetition
Topic:
initialization of data
Group:
repetitive control
Topic:
conditional expression
Reference
Parnas, D.L., "A generalized control structure and its formal definition", Communications of the ACM, 26, 8, pp. 572-581, August 1983. Google
574+ ;;Quote: a program is a nondeterministic mechanism that changes the state of the machine it controls
574 ;;Quote: a program is a partial function from initial states and valid inputs to possible ending states
575 ;;Quote: it..ti combines loop and conditional constructs by repeatedly executing true guards until a downArrow is found
576 ;;Quote: added 'init' predicate for guards; true only during the first execution of a loop
576 ;;Quote: if the left-hand operand of 'cor' is true, the right-hand operand can be undefined; e.g., use init to delay evaluation
ThesaHelp: references p-r (245 items)
ThesaHelp: ACM references m-z (280 items)
Topic: state machine (67 items)
Topic: programming as mathematics (27 items)
Topic: program source as truth (17 items)
Group: program control (27 topics, 547 quotes)
Topic: generalized repetition (16 items)
Topic: initialization of data (42 items)
Group: repetitive control (7 topics, 117 quotes)
Topic: conditional expression (11 items)