| Titre : |
The denotational description of programming languages : An introduction |
| Type de document : |
texte imprimé |
| Auteurs : |
Michael J. C. GORDON, Auteur |
| Editeur : |
Sprinter - Verlag |
| Année de publication : |
1979 |
| Importance : |
160 |
| Format : |
24 cm |
| ISBN/ISSN/EAN : |
3-540-90433-6 |
| Langues : |
Anglais (eng) |
| Index. décimale : |
Programming languages/ Pascal |
| Résumé : |
This informal, nonmathematical introduction to the descriptive techniques of denotational semantics provides the framework needed to formally describe programming languages on the level of ALGOL 60 and PASCAL. No previous knowledge of these languages or of the theory of computation is assumed. Drawn from course material used successfully by the author for several years, this book clearly explains how denotational semantics combines powerful descriptive notation with a rigorous theory to aid in the design, analysis, and comparison of programming languages... |
The denotational description of programming languages : An introduction [texte imprimé] / Michael J. C. GORDON, Auteur . - Sprinter - Verlag, 1979 . - 160 ; 24 cm. ISBN : 3-540-90433-6 Langues : Anglais ( eng)
| Index. décimale : |
Programming languages/ Pascal |
| Résumé : |
This informal, nonmathematical introduction to the descriptive techniques of denotational semantics provides the framework needed to formally describe programming languages on the level of ALGOL 60 and PASCAL. No previous knowledge of these languages or of the theory of computation is assumed. Drawn from course material used successfully by the author for several years, this book clearly explains how denotational semantics combines powerful descriptive notation with a rigorous theory to aid in the design, analysis, and comparison of programming languages... |
|  |
Accueil
Probabilit 
