One may notice that McCarthy (63) kept a strict duality between product and sum and Hoare (72) follows him on that point. ... the report introduces the metanotion a#39; TALLYa#39; to exclude circular chains of definitions such as: mode a - a_ or mode a = b, b_ = a. ... Tar.enbauma#39;s tutorial simply states: aquot;As you might expect, ALGOL 66 allows all the modes that are intuitively reasonable and prohibits those that areanbsp;...
|Title||:||Implementation and Design of Algorithmic Languages|
|Author||:||Jacques André, Jean-Pierre Banâtre|
|Publisher||:||Institut de Recherche D'Informatique Et D'Automatique - 1977|