| Titre : | Introduction to the theory of programming languages | | Type de document : | Livres, articles, périodiques | | Auteurs : | Bertrand Meyer (1950-....), Auteur | | Editeur : | New York : Prentice Hall | | Année de publication : | 1990 | | Collection : | Prentice-Hall international series in computer science | | Importance : | 1 vol. (XVI-447 p.) | | Présentation : | ill. | | Format : | 25 cm | | ISBN/ISSN/EAN : | 978-0-13-498510-7 | | Note générale : | Index | | Langues : | Anglais (eng) | | Mots-clés : | Langages de programmation Sémantique | | Index. décimale : | 004.43 Langages informatiques | | Résumé : | Understanding programming and programming languages requires mastering the underlying theoretical models. This book explores the main methods for describing programming language syntax and semantics, with particular emphasis on abstract syntax, axiomatic semantics and denotational semantics. It demonstrates the complementarity between axiomatic and denotational methods.
The presentation will be useful to software engineers as well as the computer science students. All mathematical concepts are explained in the text: the discussion constantly stresses applications to practical programming problems. |
Introduction to the theory of programming languages [Livres, articles, périodiques] / Bertrand Meyer (1950-....), Auteur . - New York : Prentice Hall, 1990 . - 1 vol. (XVI-447 p.) : ill. ; 25 cm. - ( Prentice-Hall international series in computer science) . ISBN : 978-0-13-498510-7 Index Langues : Anglais ( eng) | Mots-clés : | Langages de programmation Sémantique | | Index. décimale : | 004.43 Langages informatiques | | Résumé : | Understanding programming and programming languages requires mastering the underlying theoretical models. This book explores the main methods for describing programming language syntax and semantics, with particular emphasis on abstract syntax, axiomatic semantics and denotational semantics. It demonstrates the complementarity between axiomatic and denotational methods.
The presentation will be useful to software engineers as well as the computer science students. All mathematical concepts are explained in the text: the discussion constantly stresses applications to practical programming problems. |
|  |
Faire une suggestion Affiner la rechercheIntroduction to the theory of programming languages / Bertrand Meyer
