Map
Index
Random
Help
th

QuoteRef: parnDL8_1983

topics > all references > ThesaHelp: references p-r



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

Quotations
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


Related Topics up

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)

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