Known Errata of Volume 2

Errata, Software Engineering, Volume 2

Specification of Systems and Languages

Some known errata are given here for reference.

I recommend the following format and style for typos (J. Xiang):

p.xx, l.yy: ..."typos"... --> ..."corrections"...[?] (XYZ)

(p. : page; xx: page number; l.: line; yy: line number; "typos": the bugs or mistakes; "corrections": the corrections; ...: the words or sentences before or after the "typos"/"corrections"; (XYZ): your initials)

In case you are not confident with the correction, then a optional ? ([] denotes Optionality) can be added at the end of record.

All the typos should be ordered by the page and line numbers, i.e., p.xx, l.yy, such that others can easily find the place and insert new records. In this case, I think the number of record is uncessary.

-----------------------------------------------------------------------------------------

p.28 Section Input/Output Events Let c,k[i] and e designate channels of type A and B.
The intended meaning of e should not be a channel. It is an expression here. (Liu Bochao)

Page 105. The paragraphs after the title "Domain Analysis:Text". Many "Figure 4.5"(on page 105-106) in those paragraphs shall be "Figure 4.2". (Liu)

Page 113.
a. The first line after "4.8.2". "The predicates alpha,beta,...,omega", in which "omega" shall be "xi".
b. The 6th line of this paragraph, "as if there were ten different symbols", in which "ten" shall be "seven". (Liu)

Page 132. The first line and 5th line under Figure 5.1. "X,Y,X" shall be "X,Y,Z". (Liu)

Page 133. The last but two and three line of the first paragraph, "curve/space" shall be "curve/surface". (Liu)

Page 137. The 3rd item "... at time t the it is not possible for ...", where "the" should be "then". (Liu)

Page 139. The first paragraph, "...which yields the possibly empty map from cars --- .... --- and their positions along those street segments", where "and" shall be "to". (Liu)


Page 149. The first and 4th line before Exercise 6.3, "DaUTIL" shall be "DuaLTIL". (Liu)

Page 233. The last line before Section 9.6. "....of functions (including) processes over these" shall be "... of functions (including processes) over these". (Liu)

Page 414. The 2nd line before Definition 13.7. "... of the recusive path ordering will suffice", where "path" shall be "partial". (Liu)

Page 418. The 6th line of Definition 13.13. "...is in path formal if it has ...", where "formal" should be "format". (Liu)

Page 424. The first line after the third rule, "with f in \Sigma and n-ary function symbol" where "and" should be "an". (Liu)

Page 351. The last but three line "internal in-edge process channel for for a ,...", where there is a duplication of "for"s, one should be deleted. (Liu)

Page 357. The last line of the last paragraph but two, "an equal probablility ..." where "probablility" is a typo. (Liu)

Page 306. The last but two line of the second code fragement, "M('psi)", where "'psi" shall be "\psi". (Liu)

P580. The second line to the bottom. " of Sect. 16 is to show .........". Here "Sect." should be "Chapter". (Liu)

Page. 600 In the middle of this page, " If one of the values, for example, v2:"
and P601 the first line after the example on the top "Invoking the
closure identified by id2 in the stack model.......". Here "v2" shall be "vm" and "id2" shall be "idm". (Liu)

P605. The first line, " Whereas in ENV1 and ENV2, .........". Here "ENV1" and "ENV2" shall be "ENVa" and "ENVi". (Liu)

Page 628. For figure [0] and [1], "Present Step" is mistakenly designated by "Previous Step". (Liu)

Page 659. The last line of the first paragraph of Sect. 17.1 " We will apply them again, in Chap. 17,............." Here "17" should be 18.

Page 686. The first sentence of the paragraph before Sect. 19.3.2. "So our language has serveral of the capabilities. The properties of a modular, or object-oriented programming lanugage". Here remove "capabilities. The".

Page 688. The example in the middle, "The continuation process structure: \theta:(........'rho......)" Here " 'rho" should be "\rho" (in latex format). (Liu)

Page 693. The second line of Sect 19.5.2 "..... and environments; a set, $\psi$'s , of ..." Here "$\psi$'s" should be "$\pi$s".

Also on Page 693, the third line to the bottom of the last example code,

" \>\>\kw{let} $\psi$ {\EQ} Distribute($\pi$s,ps,$\rho$) \kw{in}\\ "

Here "\rho" should be "\rho' ' " The explanation above this example about "\rho" should also be "\rho' ' ". (Liu)

P695. The definition of Distribute function.
------------------------
% if `pi&s&={} /* assert: */ pqs={}
% then let `pi:`Pi :- `pi isin `pi&s&, pq:P-list :- pq isin pqs in
% {(pq^<.&stop&(`pi).>,`rho)} union Distribute(`pi&s& \
{`pi},pqs \ {pq},`rho) end
% else {}
-----------------------
Here the expression after "then" should be interchanged with that after
"else". (Liu)

P720. The second item on the top of this page. "Compilation functions which apply to syntactic source language constructs.......". Here "which " shall be removed. (Liu)

posted by Jianwen Xiang @ 1:39 AM