Effects on Storage Full


  • Yielder ::= stored in Yielder

  The AN­2 yielder stored in Y is equivalent to the AN­1 yielder the storable stored in Y. The yielder the s stored in Y has the same meaning in both AN­1 and AN­2, but is parsed in AN­2 as the s (stored in Y), where the s is the data operation projecting onto the subsort corresponding to s. The action update may be written with arguments as update (Y1, Y2), corresponding exactly to the AN­1 action store Y2 in Y1, so there seems to be no need for the latter notation in AN­2.




   
Data| Actions as Data| Flow of Data and Control| Scopes of Bindings| Interactive Processes