Errata for Foundations of Computer Science First Edition

  • Page 114, the table on top. The second to last row should be “| b = 3; | mov b, 3 | p3: mov b, 3 |”
  • Page 22, last paragraph. Should have ended with “and 5) getting whether an exception was thrown.”
  • Page 77, paragraph starting on Line 3 should have been:

A processing unit mock can keep two lists of messages. One with messages to be received, and one with the sent messages. When the receive function is called, the next message is returned; when the send function is called, the message is added to the list of sent messages. This works for both synchronous and asynchronous calls.