PL/0
- 13 min read
- 6 chapters
Related on Lably
Through Compiler, Constant (computer programming) and Variable (high-level programming language)
Features
All constants and variables used must be declared explicitly.
The only data types are integers. The only operators are arithmetic and comparison operators. There is an odd function that tests whether the argument is odd.
In the original implementation presented by Wirth, there are no input and output routines. The compiler prints the value as a given variable changes. So the program:
<span id="mwHQ"></span><span class="k" id="mwHg">var</span><span class="w" id="mwHw"> </span><span class="n" id="mwIA">i</span><span class="o" id="mwIQ">,</span><span class="w" id="mwIg"> </span><span class="n" id="mwIw">s</span><span class="o" id="mwJA">;</span> <span class="k" id="mwJQ">begin</span> <span class="w" id="mwJg"> </span><span class="n" id="mwJw">i</span><span class="w" id="mwKA"> </span><span class="o" id="mwKQ">:=</span><span class="w" id="mwKg"> </span><span class="mi" id="mwKw">0</span><span class="o" id="mwLA">;</span><span class="w" id="mwLQ"> </span><span class="n" id="mwLg">s</span><span class="w" id="mwLw"> </span><span class="o" id="mwMA">:=</span><span class="w" id="mwMQ"> </span><span class="mi" id="mwMg">0</span><span class="o" id="mwMw">;</span> <span class="w" id="mwNA"> </span><span class="k" id="mwNQ">while</span><span class="w" id="mwNg"> </span><span class="n" id="mwNw">i</span><span class="w" id="mwOA"> </span><span class="o" id="mwOQ"><</span><span class="w" id="mwOg"> </span><span class="mi" id="mwOw">5</span><span class="w" id="mwPA"> </span><span class="k" id="mwPQ">do</span> <span class="w" id="mwPg"> </span><span class="k" id="mwPw">begin</span> <span class="w" id="mwQA"> </span><span class="n" id="mwQQ">i</span><span class="w" id="mwQg"> </span><span class="o" id="mwQw">:=</span><span class="w" id="mwRA"> </span><span class="n" id="mwRQ">i</span><span class="w" id="mwRg"> </span><span class="o" id="mwRw">+</span><span class="w" id="mwSA"> </span><span class="mi" id="mwSQ">1</span><span class="o" id="mwSg">;</span> <span class="w" id="mwSw"> </span><span class="n" id="mwTA">s</span><span class="w" id="mwTQ"> </span><span class="o" id="mwTg">:=</span><span class="w" id="mwTw"> </span><span class="n" id="mwUA">s</span><span class="w" id="mwUQ"> </span><span class="o" id="mwUg">+</span><span class="w" id="mwUw"> </span><span class="n" id="mwVA">i</span><span class="w" id="mwVQ"> </span><span class="o" id="mwVg">*</span><span class="w" id="mwVw"> </span><span class="n" id="mwWA">i</span> <span class="w" id="mwWQ"> </span><span class="k" id="mwWg">end</span> <span class="k" id="mwWw">end</span><span class="o" id="mwXA">.</span>
gives the output:
0 0 1 1 2 5 3 14 4 30 5 55
However, most implementations have single input and single output routines.
Flow control structures are if-then and while-do constructs and user-defined procedures. Procedures cannot accept parameters.
Sign in to keep reading
5 more chapters are free with a Lably account.
Grammar
The following is the syntax rules of the model language defined in EBNF:
<span id="mwbA"></span><span class="k" id="mwbQ">program </span><span class="o" id="mwbg">=</span> <span class="k" id="mwbw">block </span><span class="s2" id="mwcA">"."</span> <span class="p" id="mwcQ">;</span> <span class="k" id="mwcg">block </span><span class="o" id="mwcw">=</span> <span class="p" id="mwdA">[</span> <span class="s2" id="mwdQ">"const"</span> <span class="k" id="mwdg">ident </span><span class="s2" id="mwdw">"="</span> <span class="k" id="mweA">number </span><span class="p" id="mweQ">{</span><span class="s2" id="mweg">","</span> <span class="k" id="mwew">ident </span><span class="s2" id="mwfA">"="</span> <span class="k" id="mwfQ">number</span><span class="p" id="mwfg">}</span> <span class="s2" id="mwfw">";"</span><span class="p" id="mwgA">]</span> <span class="p" id="mwgQ">[</span> <span class="s2" id="mwgg">"var"</span> <span class="k" id="mwgw">ident </span><span class="p" id="mwhA">{</span><span class="s2" id="mwhQ">","</span> <span class="k" id="mwhg">ident</span><span class="p" id="mwhw">}</span> <span class="s2" id="mwiA">";"</span><span class="p" id="mwiQ">]</span> <span class="p" id="mwig">{</span> <span class="s2" id="mwiw">"procedure"</span> <span class="k" id="mwjA">ident </span><span class="s2" id="mwjQ">";"</span> <span class="k" id="mwjg">block </span><span class="s2" id="mwjw">";"</span> <span class="p" id="mwkA">}</span> <span class="k" id="mwkQ">statement </span><span class="p" id="mwkg">;</span> <span class="k" id="mwkw">statement </span><span class="o" id="mwlA">=</span> <span class="p" id="mwlQ">[</span> <span class="k" id="mwlg">ident </span><span class="s2" id="mwlw">":="</span> <span class="k" id="mwmA">expression </span><span class="p" id="mwmQ">|</span> <span class="s2" id="mwmg">"call"</span> <span class="k" id="mwmw">ident </span> <span class="p" id="mwnA">|</span> <span class="s2" id="mwnQ">"?"</span> <span class="k" id="mwng">ident </span><span class="p" id="mwnw">|</span> <span class="s2" id="mwoA">"!"</span> <span class="k" id="mwoQ">expression </span> <span class="p" id="mwog">|</span> <span class="s2" id="mwow">"begin"</span> <span class="k" id="mwpA">statement </span><span class="p" id="mwpQ">{</span><span class="s2" id="mwpg">";"</span> <span class="k" id="mwpw">statement </span><span class="p" id="mwqA">}</span> <span class="s2" id="mwqQ">"end"</span> <span class="p" id="mwqg">|</span> <span class="s2" id="mwqw">"if"</span> <span class="k" id="mwrA">condition </span><span class="s2" id="mwrQ">"then"</span> <span class="k" id="mwrg">statement </span> <span class="p" id="mwrw">|</span> <span class="s2" id="mwsA">"while"</span> <span class="k" id="mwsQ">condition </span><span class="s2" id="mwsg">"do"</span> <span class="k" id="mwsw">statement </span><span class="p" id="mwtA">];</span> <span class="k" id="mwtQ">condition </span><span class="o" id="mwtg">=</span> <span class="s2" id="mwtw">"odd"</span> <span class="k" id="mwuA">expression </span><span class="p" id="mwuQ">|</span> <span class="k" id="mwug">expression </span><span class="p" id="mwuw">(</span><span class="s2" id="mwvA">"="</span><span class="p" id="mwvQ">|</span><span class="s2" id="mwvg">"#"</span><span class="p" id="mwvw">|</span><span class="s2" id="mwwA">"<"</span><span class="p" id="mwwQ">|</span><span class="s2" id="mwwg">"<="</span><span class="p" id="mwww">|</span><span class="s2" id="mwxA">">"</span><span class="p" id="mwxQ">|</span><span class="s2" id="mwxg">">="</span><span class="p" id="mwxw">)</span> <span class="k" id="mwyA">expression </span><span class="p" id="mwyQ">;</span> <span class="k" id="mwyg">expression </span><span class="o" id="mwyw">=</span> <span class="p" id="mwzA">[</span> <span class="s2" id="mwzQ">"+"</span><span class="p" id="mwzg">|</span><span class="s2" id="mwzw">"-"</span><span class="p" id="mw0A">]</span> <span class="k" id="mw0Q">term </span><span class="p" id="mw0g">{</span> <span class="p" id="mw0w">(</span><span class="s2" id="mw1A">"+"</span><span class="p" id="mw1Q">|</span><span class="s2" id="mw1g">"-"</span><span class="p" id="mw1w">)</span> <span class="k" id="mw2A">term</span><span class="p" id="mw2Q">};</span> <span class="k" id="mw2g">term </span><span class="o" id="mw2w">=</span> <span class="k" id="mw3A">factor </span><span class="p" id="mw3Q">{(</span><span class="s2" id="mw3g">"*"</span><span class="p" id="mw3w">|</span><span class="s2" id="mw4A">"/"</span><span class="p" id="mw4Q">)</span> <span class="k" id="mw4g">factor</span><span class="p" id="mw4w">};</span> <span class="k" id="mw5A">factor </span><span class="o" id="mw5Q">=</span> <span class="k" id="mw5g">ident </span><span class="p" id="mw5w">|</span> <span class="k" id="mw6A">number </span><span class="p" id="mw6Q">|</span> <span class="s2" id="mw6g">"("</span> <span class="k" id="mw6w">expression </span><span class="s2" id="mw7A">")"</span><span class="p" id="mw7Q">;</span>It is rather easy for students to write a recursive descent parser for such a simple syntax. Therefore, the PL/0 compiler is still widely used in courses on compiler construction throughout the world. Due to the lack of features in the original specification, students usually spend most of their time with extending the language and their compiler. They usually start with introducing REPEAT .. UNTIL and continue with more advanced features like parameter passing to procedures or data structures like arrays, strings or floating point numbers.
Use in education
The main article on compilers honours PL/0 for introducing several influential concepts (stepwise refinement, recursive descent parsing, EBNF, P-code, T-diagrams) to the field by educating students to use these concepts. Over the last 3 decades, most university courses on compiler construction that used PL/0 have followed Wirth strictly in employing these techniques (see references below). Some years ago university courses deviated from the course set by Wirth with the replacement of the classical recursive descent parsing technique by a (nonetheless classical) Unix-like approach of employing lex and yacc. Only recently an implementation (PL/0 Language Tools) along this way has also combined modern concepts like object-orientation and design patterns with a modern scripting language (Python), allowing students to consume the source text of the implementation in a contemporary programming style.
Compiler construction
In December 1976, Wirth wrote a small booklet about compiler construction, containing the full source code of the PL/0 compiler. The syntax rules above were taken from this first edition of Wirth's book Compilerbau. In later editions of this book (under the influence of his ongoing research) Wirth changed the syntax of PL/0. He changed the spelling of keywords like const and procedure to uppercase. This change made PL/0 resemble Modula-2 more closely. At the same time, Wirth's friend and collaborator C. A. R. Hoare was working on his influential communicating sequential processes concept, which used the exclamation mark ! and the question mark ? to denote communication primitives. Wirth added both symbols to the PL/0 language, but he did not mention their semantics in the book.
Examples
This program outputs the squares of numbers from 1 to 10. Most courses in compiler construction today have replaced the exclamation mark with the WriteLn procedure.
<span id="mwAQ0"></span><span class="k" id="mwAQ4">VAR</span><span class="w" id="mwAQ8"> </span><span class="n" id="mwARA">x</span><span class="o" id="mwARE">,</span><span class="w" id="mwARI"> </span><span class="n" id="mwARM">squ</span><span class="o" id="mwARQ">;</span> <span class="k" id="mwARU">PROCEDURE</span><span class="w" id="mwARY"> </span><span class="nf" id="mwARc">square</span><span class="o" id="mwARg">;</span> <span class="k" id="mwARk">BEGIN</span> <span class="w" id="mwARo"> </span><span class="n" id="mwARs">squ</span><span class="o" id="mwARw">:=</span><span class="w" id="mwAR0"> </span><span class="n" id="mwAR4">x</span><span class="w" id="mwAR8"> </span><span class="o" id="mwASA">*</span><span class="w" id="mwASE"> </span><span class="n" id="mwASI">x</span> <span class="k" id="mwASM">END</span><span class="o" id="mwASQ">;</span> <span class="k" id="mwASU">BEGIN</span> <span class="w" id="mwASY"> </span><span class="n" id="mwASc">x</span><span class="w" id="mwASg"> </span><span class="o" id="mwASk">:=</span><span class="w" id="mwASo"> </span><span class="mi" id="mwASs">1</span><span class="o" id="mwASw">;</span> <span class="w" id="mwAS0"> </span><span class="k" id="mwAS4">WHILE</span><span class="w" id="mwAS8"> </span><span class="n" id="mwATA">x</span><span class="w" id="mwATE"> </span><span class="o" id="mwATI"><=</span><span class="w" id="mwATM"> </span><span class="mi" id="mwATQ">10</span><span class="w" id="mwATU"> </span><span class="k" id="mwATY">DO</span> <span class="w" id="mwATc"> </span><span class="k" id="mwATg">BEGIN</span> <span class="w" id="mwATk"> </span><span class="n" id="mwATo">CALL</span><span class="w" id="mwATs"> </span><span class="n" id="mwATw">square</span><span class="o" id="mwAT0">;</span> <span class="w" id="mwAT4"> </span><span class="err" id="mwAT8">!</span><span class="w" id="mwAUA"> </span><span class="n" id="mwAUE">squ</span><span class="o" id="mwAUI">;</span> <span class="w" id="mwAUM"> </span><span class="n" id="mwAUQ">x</span><span class="w" id="mwAUU"> </span><span class="o" id="mwAUY">:=</span><span class="w" id="mwAUc"> </span><span class="n" id="mwAUg">x</span><span class="w" id="mwAUk"> </span><span class="o" id="mwAUo">+</span><span class="w" id="mwAUs"> </span><span class="mi" id="mwAUw">1</span> <span class="w" id="mwAU0"> </span><span class="k" id="mwAU4">END</span> <span class="k" id="mwAU8">END</span><span class="o" id="mwAVA">.</span>
This following program prints the prime numbers from 1 to 100. The write statement corresponds to '!' statement in the EBNF syntax above.
<span id="mwAVQ"></span><span class="k" id="mwAVU">const</span><span class="w" id="mwAVY"> </span><span class="nb" id="mwAVc">max</span><span class="w" id="mwAVg"> </span><span class="o" id="mwAVk">=</span><span class="w" id="mwAVo"> </span><span class="mi" id="mwAVs">100</span><span class="o" id="mwAVw">;</span> <span class="k" id="mwAV0">var</span><span class="w" id="mwAV4"> </span><span class="n" id="mwAV8">arg</span><span class="o" id="mwAWA">,</span><span class="w" id="mwAWE"> </span><span class="n" id="mwAWI">ret</span><span class="o" id="mwAWM">;</span> <span class="k" id="mwAWQ">procedure</span><span class="w" id="mwAWU"> </span><span class="nf" id="mwAWY">isprime</span><span class="o" id="mwAWc">;</span> <span class="k" id="mwAWg">var</span><span class="w" id="mwAWk"> </span><span class="n" id="mwAWo">i</span><span class="o" id="mwAWs">;</span> <span class="k" id="mwAWw">begin</span> <span class="w" id="mwAW0"> </span><span class="n" id="mwAW4">ret</span><span class="w" id="mwAW8"> </span><span class="o" id="mwAXA">:=</span><span class="w" id="mwAXE"> </span><span class="mi" id="mwAXI">1</span><span class="o" id="mwAXM">;</span> <span class="w" id="mwAXQ"> </span><span class="n" id="mwAXU">i</span><span class="w" id="mwAXY"> </span><span class="o" id="mwAXc">:=</span><span class="w" id="mwAXg"> </span><span class="mi" id="mwAXk">2</span><span class="o" id="mwAXo">;</span> <span class="w" id="mwAXs"> </span><span class="k" id="mwAXw">while</span><span class="w" id="mwAX0"> </span><span class="n" id="mwAX4">i</span><span class="w" id="mwAX8"> </span><span class="o" id="mwAYA"><</span><span class="w" id="mwAYE"> </span><span class="n" id="mwAYI">arg</span><span class="w" id="mwAYM"> </span><span class="k" id="mwAYQ">do</span> <span class="w" id="mwAYU"> </span><span class="k" id="mwAYY">begin</span> <span class="w" id="mwAYc"> </span><span class="k" id="mwAYg">if</span><span class="w" id="mwAYk"> </span><span class="n" id="mwAYo">arg</span><span class="w" id="mwAYs"> </span><span class="o" id="mwAYw">/</span><span class="w" id="mwAY0"> </span><span class="n" id="mwAY4">i</span><span class="w" id="mwAY8"> </span><span class="o" id="mwAZA">*</span><span class="w" id="mwAZE"> </span><span class="n" id="mwAZI">i</span><span class="w" id="mwAZM"> </span><span class="o" id="mwAZQ">=</span><span class="w" id="mwAZU"> </span><span class="n" id="mwAZY">arg</span><span class="w" id="mwAZc"> </span><span class="k" id="mwAZg">then</span> <span class="w" id="mwAZk"> </span><span class="k" id="mwAZo">begin</span> <span class="w" id="mwAZs"> </span><span class="n" id="mwAZw">ret</span><span class="w" id="mwAZ0"> </span><span class="o" id="mwAZ4">:=</span><span class="w" id="mwAZ8"> </span><span class="mi" id="mwAaA">0</span><span class="o" id="mwAaE">;</span> <span class="w" id="mwAaI"> </span><span class="n" id="mwAaM">i</span><span class="w" id="mwAaQ"> </span><span class="o" id="mwAaU">:=</span><span class="w" id="mwAaY"> </span><span class="n" id="mwAac">arg</span> <span class="w" id="mwAag"> </span><span class="k" id="mwAak">end</span><span class="o" id="mwAao">;</span> <span class="w" id="mwAas"> </span><span class="n" id="mwAaw">i</span><span class="w" id="mwAa0"> </span><span class="o" id="mwAa4">:=</span><span class="w" id="mwAa8"> </span><span class="n" id="mwAbA">i</span><span class="w" id="mwAbE"> </span><span class="o" id="mwAbI">+</span><span class="w" id="mwAbM"> </span><span class="mi" id="mwAbQ">1</span> <span class="w" id="mwAbU"> </span><span class="k" id="mwAbY">end</span> <span class="k" id="mwAbc">end</span><span class="o" id="mwAbg">;</span> <span class="k" id="mwAbk">procedure</span><span class="w" id="mwAbo"> </span><span class="nf" id="mwAbs">primes</span><span class="o" id="mwAbw">;</span> <span class="k" id="mwAb0">begin</span> <span class="w" id="mwAb4"> </span><span class="n" id="mwAb8">arg</span><span class="w" id="mwAcA"> </span><span class="o" id="mwAcE">:=</span><span class="w" id="mwAcI"> </span><span class="mi" id="mwAcM">2</span><span class="o" id="mwAcQ">;</span> <span class="w" id="mwAcU"> </span><span class="k" id="mwAcY">while</span><span class="w" id="mwAcc"> </span><span class="n" id="mwAcg">arg</span><span class="w" id="mwAck"> </span><span class="o" id="mwAco"><</span><span class="w" id="mwAcs"> </span><span class="nb" id="mwAcw">max</span><span class="w" id="mwAc0"> </span><span class="k" id="mwAc4">do</span> <span class="w" id="mwAc8"> </span><span class="k" id="mwAdA">begin</span> <span class="w" id="mwAdE"> </span><span class="n" id="mwAdI">call</span><span class="w" id="mwAdM"> </span><span class="n" id="mwAdQ">isprime</span><span class="o" id="mwAdU">;</span> <span class="w" id="mwAdY"> </span><span class="k" id="mwAdc">if</span><span class="w" id="mwAdg"> </span><span class="n" id="mwAdk">ret</span><span class="w" id="mwAdo"> </span><span class="o" id="mwAds">=</span><span class="w" id="mwAdw"> </span><span class="mi" id="mwAd0">1</span><span class="w" id="mwAd4"> </span><span class="k" id="mwAd8">then</span><span class="w" id="mwAeA"> </span><span class="nb" id="mwAeE">write</span><span class="w" id="mwAeI"> </span><span class="n" id="mwAeM">arg</span><span class="o" id="mwAeQ">;</span> <span class="w" id="mwAeU"> </span><span class="n" id="mwAeY">arg</span><span class="w" id="mwAec"> </span><span class="o" id="mwAeg">:=</span><span class="w" id="mwAek"> </span><span class="n" id="mwAeo">arg</span><span class="w" id="mwAes"> </span><span class="o" id="mwAew">+</span><span class="w" id="mwAe0"> </span><span class="mi" id="mwAe4">1</span> <span class="w" id="mwAe8"> </span><span class="k" id="mwAfA">end</span> <span class="k" id="mwAfE">end</span><span class="o" id="mwAfI">;</span> <span class="n" id="mwAfM">call</span><span class="w" id="mwAfQ"> </span><span class="n" id="mwAfU">primes</span> <span class="o" id="mwAfY">.</span>
The following example was taken from the second edition of Wirth's book Compilerbau, which appeared in 1986 in Germany.
<span id="mwAfw"></span><span class="k" id="mwAf0">VAR</span><span class="w" id="mwAf4"> </span><span class="n" id="mwAf8">x</span><span class="o" id="mwAgA">,</span><span class="w" id="mwAgE"> </span><span class="n" id="mwAgI">y</span><span class="o" id="mwAgM">,</span><span class="w" id="mwAgQ"> </span><span class="n" id="mwAgU">z</span><span class="o" id="mwAgY">,</span><span class="w" id="mwAgc"> </span><span class="n" id="mwAgg">q</span><span class="o" id="mwAgk">,</span><span class="w" id="mwAgo"> </span><span class="n" id="mwAgs">r</span><span class="o" id="mwAgw">,</span><span class="w" id="mwAg0"> </span><span class="n" id="mwAg4">n</span><span class="o" id="mwAg8">,</span><span class="w" id="mwAhA"> </span><span class="n" id="mwAhE">f</span><span class="o" id="mwAhI">;</span> <span class="k" id="mwAhM">PROCEDURE</span><span class="w" id="mwAhQ"> </span><span class="nf" id="mwAhU">multiply</span><span class="o" id="mwAhY">;</span> <span class="k" id="mwAhc">VAR</span><span class="w" id="mwAhg"> </span><span class="n" id="mwAhk">a</span><span class="o" id="mwAho">,</span><span class="w" id="mwAhs"> </span><span class="n" id="mwAhw">b</span><span class="o" id="mwAh0">;</span> <span class="k" id="mwAh4">BEGIN</span> <span class="w" id="mwAh8"> </span><span class="n" id="mwAiA">a</span><span class="w" id="mwAiE"> </span><span class="o" id="mwAiI">:=</span><span class="w" id="mwAiM"> </span><span class="n" id="mwAiQ">x</span><span class="o" id="mwAiU">;</span> <span class="w" id="mwAiY"> </span><span class="n" id="mwAic">b</span><span class="w" id="mwAig"> </span><span class="o" id="mwAik">:=</span><span class="w" id="mwAio"> </span><span class="n" id="mwAis">y</span><span class="o" id="mwAiw">;</span> <span class="w" id="mwAi0"> </span><span class="n" id="mwAi4">z</span><span class="w" id="mwAi8"> </span><span class="o" id="mwAjA">:=</span><span class="w" id="mwAjE"> </span><span class="mi" id="mwAjI">0</span><span class="o" id="mwAjM">;</span> <span class="w" id="mwAjQ"> </span><span class="k" id="mwAjU">WHILE</span><span class="w" id="mwAjY"> </span><span class="n" id="mwAjc">b</span><span class="w" id="mwAjg"> </span><span class="o" id="mwAjk">></span><span class="w" id="mwAjo"> </span><span class="mi" id="mwAjs">0</span><span class="w" id="mwAjw"> </span><span class="k" id="mwAj0">DO</span> <span class="w" id="mwAj4"> </span><span class="k" id="mwAj8">BEGIN</span> <span class="w" id="mwAkA"> </span><span class="k" id="mwAkE">IF</span><span class="w" id="mwAkI"> </span><span class="nb" id="mwAkM">ODD</span><span class="w" id="mwAkQ"> </span><span class="n" id="mwAkU">b</span><span class="w" id="mwAkY"> </span><span class="k" id="mwAkc">THEN</span><span class="w" id="mwAkg"> </span><span class="n" id="mwAkk">z</span><span class="w" id="mwAko"> </span><span class="o" id="mwAks">:=</span><span class="w" id="mwAkw"> </span><span class="n" id="mwAk0">z</span><span class="w" id="mwAk4"> </span><span class="o" id="mwAk8">+</span><span class="w" id="mwAlA"> </span><span class="n" id="mwAlE">a</span><span class="o" id="mwAlI">;</span> <span class="w" id="mwAlM"> </span><span class="n" id="mwAlQ">a</span><span class="w" id="mwAlU"> </span><span class="o" id="mwAlY">:=</span><span class="w" id="mwAlc"> </span><span class="mi" id="mwAlg">2</span><span class="w" id="mwAlk"> </span><span class="o" id="mwAlo">*</span><span class="w" id="mwAls"> </span><span class="n" id="mwAlw">a</span><span class="o" id="mwAl0">;</span> <span class="w" id="mwAl4"> </span><span class="n" id="mwAl8">b</span><span class="w" id="mwAmA"> </span><span class="o" id="mwAmE">:=</span><span class="w" id="mwAmI"> </span><span class="n" id="mwAmM">b</span><span class="w" id="mwAmQ"> </span><span class="o" id="mwAmU">/</span><span class="w" id="mwAmY"> </span><span class="mi" id="mwAmc">2</span> <span class="w" id="mwAmg"> </span><span class="k" id="mwAmk">END</span> <span class="k" id="mwAmo">END</span><span class="o" id="mwAms">;</span> <span class="k" id="mwAmw">PROCEDURE</span><span class="w" id="mwAm0"> </span><span class="nf" id="mwAm4">divide</span><span class="o" id="mwAm8">;</span> <span class="k" id="mwAnA">VAR</span><span class="w" id="mwAnE"> </span><span class="n" id="mwAnI">w</span><span class="o" id="mwAnM">;</span> <span class="k" id="mwAnQ">BEGIN</span> <span class="w" id="mwAnU"> </span><span class="n" id="mwAnY">r</span><span class="w" id="mwAnc"> </span><span class="o" id="mwAng">:=</span><span class="w" id="mwAnk"> </span><span class="n" id="mwAno">x</span><span class="o" id="mwAns">;</span> <span class="w" id="mwAnw"> </span><span class="n" id="mwAn0">q</span><span class="w" id="mwAn4"> </span><span class="o" id="mwAn8">:=</span><span class="w" id="mwAoA"> </span><span class="mi" id="mwAoE">0</span><span class="o" id="mwAoI">;</span> <span class="w" id="mwAoM"> </span><span class="n" id="mwAoQ">w</span><span class="w" id="mwAoU"> </span><span class="o" id="mwAoY">:=</span><span class="w" id="mwAoc"> </span><span class="n" id="mwAog">y</span><span class="o" id="mwAok">;</span> <span class="w" id="mwAoo"> </span><span class="k" id="mwAos">WHILE</span><span class="w" id="mwAow"> </span><span class="n" id="mwAo0">w</span><span class="w" id="mwAo4"> </span><span class="o" id="mwAo8"><=</span><span class="w" id="mwApA"> </span><span class="n" id="mwApE">r</span><span class="w" id="mwApI"> </span><span class="k" id="mwApM">DO</span><span class="w" id="mwApQ"> </span><span class="n" id="mwApU">w</span><span class="w" id="mwApY"> </span><span class="o" id="mwApc">:=</span><span class="w" id="mwApg"> </span><span class="mi" id="mwApk">2</span><span class="w" id="mwApo"> </span><span class="o" id="mwAps">*</span><span class="w" id="mwApw"> </span><span class="n" id="mwAp0">w</span><span class="o" id="mwAp4">;</span> <span class="w" id="mwAp8"> </span><span class="k" id="mwAqA">WHILE</span><span class="w" id="mwAqE"> </span><span class="n" id="mwAqI">w</span><span class="w" id="mwAqM"> </span><span class="o" id="mwAqQ">></span><span class="w" id="mwAqU"> </span><span class="n" id="mwAqY">y</span><span class="w" id="mwAqc"> </span><span class="k" id="mwAqg">DO</span> <span class="w" id="mwAqk"> </span><span class="k" id="mwAqo">BEGIN</span> <span class="w" id="mwAqs"> </span><span class="n" id="mwAqw">q</span><span class="w" id="mwAq0"> </span><span class="o" id="mwAq4">:=</span><span class="w" id="mwAq8"> </span><span class="mi" id="mwArA">2</span><span class="w" id="mwArE"> </span><span class="o" id="mwArI">*</span><span class="w" id="mwArM"> </span><span class="n" id="mwArQ">q</span><span class="o" id="mwArU">;</span> <span class="w" id="mwArY"> </span><span class="n" id="mwArc">w</span><span class="w" id="mwArg"> </span><span class="o" id="mwArk">:=</span><span class="w" id="mwAro"> </span><span class="n" id="mwArs">w</span><span class="w" id="mwArw"> </span><span class="o" id="mwAr0">/</span><span class="w" id="mwAr4"> </span><span class="mi" id="mwAr8">2</span><span class="o" id="mwAsA">;</span> <span class="w" id="mwAsE"> </span><span class="k" id="mwAsI">IF</span><span class="w" id="mwAsM"> </span><span class="n" id="mwAsQ">w</span><span class="w" id="mwAsU"> </span><span class="o" id="mwAsY"><=</span><span class="w" id="mwAsc"> </span><span class="n" id="mwAsg">r</span><span class="w" id="mwAsk"> </span><span class="k" id="mwAso">THEN</span> <span class="w" id="mwAss"> </span><span class="k" id="mwAsw">BEGIN</span> <span class="w" id="mwAs0"> </span><span class="n" id="mwAs4">r</span><span class="w" id="mwAs8"> </span><span class="o" id="mwAtA">:=</span><span class="w" id="mwAtE"> </span><span class="n" id="mwAtI">r</span><span class="w" id="mwAtM"> </span><span class="o" id="mwAtQ">-</span><span class="w" id="mwAtU"> </span><span class="n" id="mwAtY">w</span><span class="o" id="mwAtc">;</span> <span class="w" id="mwAtg"> </span><span class="n" id="mwAtk">q</span><span class="w" id="mwAto"> </span><span class="o" id="mwAts">:=</span><span class="w" id="mwAtw"> </span><span class="n" id="mwAt0">q</span><span class="w" id="mwAt4"> </span><span class="o" id="mwAt8">+</span><span class="w" id="mwAuA"> </span><span class="mi" id="mwAuE">1</span> <span class="w" id="mwAuI"> </span><span class="k" id="mwAuM">END</span> <span class="w" id="mwAuQ"> </span><span class="k" id="mwAuU">END</span> <span class="k" id="mwAuY">END</span><span class="o" id="mwAuc">;</span> <span class="k" id="mwAug">PROCEDURE</span><span class="w" id="mwAuk"> </span><span class="nf" id="mwAuo">gcd</span><span class="o" id="mwAus">;</span> <span class="k" id="mwAuw">VAR</span><span class="w" id="mwAu0"> </span><span class="n" id="mwAu4">f</span><span class="o" id="mwAu8">,</span><span class="w" id="mwAvA"> </span><span class="n" id="mwAvE">g</span><span class="o" id="mwAvI">;</span> <span class="k" id="mwAvM">BEGIN</span> <span class="w" id="mwAvQ"> </span><span class="n" id="mwAvU">f</span><span class="w" id="mwAvY"> </span><span class="o" id="mwAvc">:=</span><span class="w" id="mwAvg"> </span><span class="n" id="mwAvk">x</span><span class="o" id="mwAvo">;</span> <span class="w" id="mwAvs"> </span><span class="n" id="mwAvw">g</span><span class="w" id="mwAv0"> </span><span class="o" id="mwAv4">:=</span><span class="w" id="mwAv8"> </span><span class="n" id="mwAwA">y</span><span class="o" id="mwAwE">;</span> <span class="w" id="mwAwI"> </span><span class="k" id="mwAwM">WHILE</span><span class="w" id="mwAwQ"> </span><span class="n" id="mwAwU">f</span><span class="w" id="mwAwY"> </span><span class="err" id="mwAwc">#</span><span class="w" id="mwAwg"> </span><span class="n" id="mwAwk">g</span><span class="w" id="mwAwo"> </span><span class="k" id="mwAws">DO</span> <span class="w" id="mwAww"> </span><span class="k" id="mwAw0">BEGIN</span> <span class="w" id="mwAw4"> </span><span class="k" id="mwAw8">IF</span><span class="w" id="mwAxA"> </span><span class="n" id="mwAxE">f</span><span class="w" id="mwAxI"> </span><span class="o" id="mwAxM"><</span><span class="w" id="mwAxQ"> </span><span class="n" id="mwAxU">g</span><span class="w" id="mwAxY"> </span><span class="k" id="mwAxc">THEN</span><span class="w" id="mwAxg"> </span><span class="n" id="mwAxk">g</span><span class="w" id="mwAxo"> </span><span class="o" id="mwAxs">:=</span><span class="w" id="mwAxw"> </span><span class="n" id="mwAx0">g</span><span class="w" id="mwAx4"> </span><span class="o" id="mwAx8">-</span><span class="w" id="mwAyA"> </span><span class="n" id="mwAyE">f</span><span class="o" id="mwAyI">;</span> <span class="w" id="mwAyM"> </span><span class="k" id="mwAyQ">IF</span><span class="w" id="mwAyU"> </span><span class="n" id="mwAyY">g</span><span class="w" id="mwAyc"> </span><span class="o" id="mwAyg"><</span><span class="w" id="mwAyk"> </span><span class="n" id="mwAyo">f</span><span class="w" id="mwAys"> </span><span class="k" id="mwAyw">THEN</span><span class="w" id="mwAy0"> </span><span class="n" id="mwAy4">f</span><span class="w" id="mwAy8"> </span><span class="o" id="mwAzA">:=</span><span class="w" id="mwAzE"> </span><span class="n" id="mwAzI">f</span><span class="w" id="mwAzM"> </span><span class="o" id="mwAzQ">-</span><span class="w" id="mwAzU"> </span><span class="n" id="mwAzY">g</span> <span class="w" id="mwAzc"> </span><span class="k" id="mwAzg">END</span><span class="o" id="mwAzk">;</span> <span class="w" id="mwAzo"> </span><span class="n" id="mwAzs">z</span><span class="w" id="mwAzw"> </span><span class="o" id="mwAz0">:=</span><span class="w" id="mwAz4"> </span><span class="n" id="mwAz8">f</span> <span class="k" id="mwA0A">END</span><span class="o" id="mwA0E">;</span> <span class="k" id="mwA0I">PROCEDURE</span><span class="w" id="mwA0M"> </span><span class="nf" id="mwA0Q">fact</span><span class="o" id="mwA0U">;</span> <span class="k" id="mwA0Y">BEGIN</span> <span class="w" id="mwA0c"> </span><span class="k" id="mwA0g">IF</span><span class="w" id="mwA0k"> </span><span class="n" id="mwA0o">n</span><span class="w" id="mwA0s"> </span><span class="o" id="mwA0w">></span><span class="w" id="mwA00"> </span><span class="mi" id="mwA04">1</span><span class="w" id="mwA08"> </span><span class="k" id="mwA1A">THEN</span> <span class="w" id="mwA1E"> </span><span class="k" id="mwA1I">BEGIN</span> <span class="w" id="mwA1M"> </span><span class="n" id="mwA1Q">f</span><span class="w" id="mwA1U"> </span><span class="o" id="mwA1Y">:=</span><span class="w" id="mwA1c"> </span><span class="n" id="mwA1g">n</span><span class="w" id="mwA1k"> </span><span class="o" id="mwA1o">*</span><span class="w" id="mwA1s"> </span><span class="n" id="mwA1w">f</span><span class="o" id="mwA10">;</span> <span class="w" id="mwA14"> </span><span class="n" id="mwA18">n</span><span class="w" id="mwA2A"> </span><span class="o" id="mwA2E">:=</span><span class="w" id="mwA2I"> </span><span class="n" id="mwA2M">n</span><span class="w" id="mwA2Q"> </span><span class="o" id="mwA2U">-</span><span class="w" id="mwA2Y"> </span><span class="mi" id="mwA2c">1</span><span class="o" id="mwA2g">;</span> <span class="w" id="mwA2k"> </span><span class="n" id="mwA2o">CALL</span><span class="w" id="mwA2s"> </span><span class="n" id="mwA2w">fact</span> <span class="w" id="mwA20"> </span><span class="k" id="mwA24">END</span> <span class="k" id="mwA28">END</span><span class="o" id="mwA3A">;</span> <span class="k" id="mwA3E">BEGIN</span> <span class="w" id="mwA3I"> </span><span class="err" id="mwA3M">?</span><span class="n" id="mwA3Q">x</span><span class="o" id="mwA3U">;</span><span class="w" id="mwA3Y"> </span><span class="err" id="mwA3c">?</span><span class="n" id="mwA3g">y</span><span class="o" id="mwA3k">;</span><span class="w" id="mwA3o"> </span><span class="n" id="mwA3s">CALL</span><span class="w" id="mwA3w"> </span><span class="n" id="mwA30">multiply</span><span class="o" id="mwA34">;</span><span class="w" id="mwA38"> </span><span class="err" id="mwA4A">!</span><span class="n" id="mwA4E">z</span><span class="o" id="mwA4I">;</span> <span class="w" id="mwA4M"> </span><span class="err" id="mwA4Q">?</span><span class="n" id="mwA4U">x</span><span class="o" id="mwA4Y">;</span><span class="w" id="mwA4c"> </span><span class="err" id="mwA4g">?</span><span class="n" id="mwA4k">y</span><span class="o" id="mwA4o">;</span><span class="w" id="mwA4s"> </span><span class="n" id="mwA4w">CALL</span><span class="w" id="mwA40"> </span><span class="n" id="mwA44">divide</span><span class="o" id="mwA48">;</span><span class="w" id="mwA5A"> </span><span class="err" id="mwA5E">!</span><span class="n" id="mwA5I">q</span><span class="o" id="mwA5M">;</span><span class="w" id="mwA5Q"> </span><span class="err" id="mwA5U">!</span><span class="n" id="mwA5Y">r</span><span class="o" id="mwA5c">;</span> <span class="w" id="mwA5g"> </span><span class="err" id="mwA5k">?</span><span class="n" id="mwA5o">x</span><span class="o" id="mwA5s">;</span><span class="w" id="mwA5w"> </span><span class="err" id="mwA50">?</span><span class="n" id="mwA54">y</span><span class="o" id="mwA58">;</span><span class="w" id="mwA6A"> </span><span class="n" id="mwA6E">CALL</span><span class="w" id="mwA6I"> </span><span class="n" id="mwA6M">gcd</span><span class="o" id="mwA6Q">;</span><span class="w" id="mwA6U"> </span><span class="err" id="mwA6Y">!</span><span class="n" id="mwA6c">z</span><span class="o" id="mwA6g">;</span> <span class="w" id="mwA6k"> </span><span class="err" id="mwA6o">?</span><span class="n" id="mwA6s">n</span><span class="o" id="mwA6w">;</span><span class="w" id="mwA60"> </span><span class="n" id="mwA64">f</span><span class="w" id="mwA68"> </span><span class="o" id="mwA7A">:=</span><span class="w" id="mwA7E"> </span><span class="mi" id="mwA7I">1</span><span class="o" id="mwA7M">;</span><span class="w" id="mwA7Q"> </span><span class="n" id="mwA7U">CALL</span><span class="w" id="mwA7Y"> </span><span class="n" id="mwA7c">fact</span><span class="o" id="mwA7g">;</span><span class="w" id="mwA7k"> </span><span class="err" id="mwA7o">!</span><span class="n" id="mwA7s">f</span> <span class="k" id="mwA7w">END</span><span class="o" id="mwA70">.</span>
Oberon-0
In the third and last edition of his book on compiler construction, Wirth replaced PL/0 with Oberon-0. The language Oberon-0 is much more complex than PL/0. For example, Oberon-0 offers arrays, records, type declarations and procedure parameters. The publisher of Wirth's books (Addison-Wesley) has decided to phase out all his books, but Wirth has published revised editions of his book beginning in 2004. As of August 2017, the most recent revision available is from May 2017.