INTRODUCTORY SIDE EFFECT ALGEBRA

An extra tool as a formal method for reasoning about side effects

  • DoubleX
  • 04/30/2017 02:51 AM
  • 521 views
The original html file can be found in my Github. Please open it with a browser supporting Math ML, like Firefox.