此規(guī)范通常使用帶編號(hào)的列表來(lái)指定算法的步驟。這些算法是用來(lái)精確地指定 ECMAScript 語(yǔ)言結(jié)構(gòu)所需的語(yǔ)義。該算法無(wú)意暗示任何具體實(shí)現(xiàn)使用的技術(shù)。在實(shí)踐中，也許可用更有效的算法實(shí)現(xiàn)一個(gè)給定功能。

為了方便其使用本規(guī)范的多個(gè)部分，叫做 抽象操作 (abstract operations) 的一些算法編寫成帶名稱的可傳參函數(shù)化形式，所以在其他算法里可以通過(guò)名稱引用它們。

當(dāng)一個(gè)算法產(chǎn)生返回值 ，“return x” 指令說(shuō)明該算法的返回值是 x，并且算法應(yīng)該終止?！暗?n 步的結(jié)果”的簡(jiǎn)寫是 Result(n) 。

為了表達(dá)清晰，算法的步驟可細(xì)分為有序的子步驟。子步驟被縮進(jìn)，可以將自身進(jìn)一步劃分為縮進(jìn)子步驟。大綱編號(hào)約定用于識(shí)別分步驟，第一層次的子步驟適用小寫字母標(biāo)記，第二層次的子步驟使用小寫羅馬數(shù)字標(biāo)記。如果需要超過(guò)三個(gè)層次，則重復(fù)這些規(guī)則，第四層次使用數(shù)字標(biāo)記。例如 :

1. Top-level step
       Substep.
       Substep
           Subsubstep.
           Subsubstep.
               Subsubsubstep
                   Subsubsubsubstep

步驟或子步驟可寫“if”謂詞作為它的子步驟的條件。在這種情況下，當(dāng)謂詞為真時(shí)子步驟才適用。如果一個(gè)步驟或子步驟由單詞“else”開(kāi)始，那么它是一個(gè)謂詞，否定前面的同一層級(jí)的“if”謂詞。

步驟可以表示其子步驟的迭代應(yīng)用可能指定其子步的迭代應(yīng)用程序。

步驟可能斷言其算法中的某一不變條件。這樣的斷言可以讓算法中隱含的不變條件變成顯式的。這種斷言不會(huì)添加額外的語(yǔ)義要求，實(shí)現(xiàn)沒(méi)有一定去檢查的必要性。它們只是用來(lái)讓算法更清晰。

數(shù)學(xué)運(yùn)算，如加法，減法，取反，乘法，除法，還有稍后在本節(jié)中定義的數(shù)學(xué)函數(shù)應(yīng)該總是被理解為對(duì)數(shù)學(xué)實(shí)數(shù)計(jì)算精確的數(shù)學(xué)結(jié)果，其中不包括無(wú)窮大，不包括負(fù)零區(qū)別于正零。本標(biāo)準(zhǔn)中的浮點(diǎn)運(yùn)算算法模型，包括明確的步驟，在必要情況下處理無(wú)窮大和有符號(hào)零和執(zhí)行四舍五入。如果一個(gè)數(shù)學(xué)運(yùn)算或函數(shù)應(yīng)用一個(gè)浮點(diǎn)數(shù)，它應(yīng)該被應(yīng)用為代表此浮點(diǎn)數(shù)的確切的數(shù)學(xué)值，一個(gè)浮點(diǎn)數(shù)必須是有限的 ，如果是 +0 或 -0 ，則相應(yīng)的數(shù)學(xué)值就是 0。

數(shù)學(xué)函數(shù) abs(x) 產(chǎn)生 x 的絕對(duì)值，如果 x 是負(fù)數(shù)（小于零），它是這是 - x，否則是 X 本身。

如果 x 是正數(shù)，數(shù)學(xué)函數(shù) sign (x) 產(chǎn)生 1，如果 x 是負(fù)數(shù)產(chǎn)生 - 1。此標(biāo)準(zhǔn)中 x 為零的情況下不使用 sign 函數(shù)。

符號(hào) “x modulo y” (y 必須有限且非零 ) 計(jì)算一個(gè)滿足以下條件的 k 值 ，與 y 同號(hào) ( 或是零 ) ，abs(k) < abs(y) ，對(duì)一些整數(shù) q 滿足 x?k = q × y。

數(shù)學(xué)函數(shù) floor(x) 產(chǎn)生不大于 x 的最大整數(shù)（最大可為正無(wú)窮）。

注：floor(x) = x?(x modulo 1).

如果算法定義“拋出一個(gè)異?！?，算法的執(zhí)行將被終止，且沒(méi)有返回結(jié)果。已調(diào)用的算法也被終止，直到算法步驟使用術(shù)語(yǔ)“如果一個(gè)異常被拋出 ...”明確指出異常處理。一旦遇到這種算法步驟，異常將不再被視已發(fā)生過(guò)。