Papers presented at the Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology, organized under the auspices of the Technical University MA¼nich and sponsored by the NATO Scientific Affairs Division, Germany, 1981(The word aquot;referenceaquot; is chosen over the more common aquot;variableaquot; in order to place emphasis on the name rather than on the ... The syntax of a reference, expressed in Backus-Naur form, follows; it omits replacement rules for alt;identifiers andanbsp;...
|Title||:||Theoretical Foundations of Programming Methodology|
|Author||:||M. Broy, Günther Schmidt|
|Publisher||:||Springer Science & Business Media - 2012-12-06|