University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail d'une collection
|
Documents disponibles dans la collection
Ajouter le résultat dans votre panier Affiner la recherche
Semantics of programming languages / R. D. Tennent
Titre : Semantics of programming languages Type de document : texte imprimé Auteurs : R. D. Tennent Editeur : New York : Prentice Hall Année de publication : 1991 Collection : Prentice-Hall international series in computer science Importance : 1 vol (236 p.) Format : 24 cm ISBN/ISSN/EAN : 978-0-13-805607-0 Note générale : 0-13-805607-2 Catégories : Informatique Mots-clés : Programming languages (Electronic computers) - Semantics
Langages de programmation - SémantiqueIndex. décimale : 005.1 Programmation Résumé :
Ce texte complet introduit l'analyse de la sémantique des langages de programmation et des logiques de programmation. Il discute des approches dénotationnelles, opérationnelles et axiomatiques et des relations entre elles dans un cadre unifié. Organisé autour de l'analyse de trois langages - le langage impératif
simple des commandes while, un langage applicatif simple basé sur le lambda calcul typé, et un langage semblable à Algol qui est une extension des langages simples, le texte discute des méthodes syntaxiques et sémantiques appropriées langues dactylographiées. Il y a aussi des introductions indépendantes à la déduction naturelle, à la théorie des domaines et à la théorie des catégories, ainsi qu'une discussion sur les techniques modernes des mondes possibles.Note de contenu :
Sommaire
1-Introduction
Semantics
Mathematical preliminaries
2-Basic concepts
A simple applicative language
Recursion and domain theory
3-An algol -like language
An algol-like language
An algol- like language
Advanced techniques
Possible worlds
Recursively- defined domains
Côte titre : Fs/19837 Semantics of programming languages [texte imprimé] / R. D. Tennent . - New York : Prentice Hall, 1991 . - 1 vol (236 p.) ; 24 cm. - (Prentice-Hall international series in computer science) .
ISBN : 978-0-13-805607-0
0-13-805607-2
Catégories : Informatique Mots-clés : Programming languages (Electronic computers) - Semantics
Langages de programmation - SémantiqueIndex. décimale : 005.1 Programmation Résumé :
Ce texte complet introduit l'analyse de la sémantique des langages de programmation et des logiques de programmation. Il discute des approches dénotationnelles, opérationnelles et axiomatiques et des relations entre elles dans un cadre unifié. Organisé autour de l'analyse de trois langages - le langage impératif
simple des commandes while, un langage applicatif simple basé sur le lambda calcul typé, et un langage semblable à Algol qui est une extension des langages simples, le texte discute des méthodes syntaxiques et sémantiques appropriées langues dactylographiées. Il y a aussi des introductions indépendantes à la déduction naturelle, à la théorie des domaines et à la théorie des catégories, ainsi qu'une discussion sur les techniques modernes des mondes possibles.Note de contenu :
Sommaire
1-Introduction
Semantics
Mathematical preliminaries
2-Basic concepts
A simple applicative language
Recursion and domain theory
3-An algol -like language
An algol-like language
An algol- like language
Advanced techniques
Possible worlds
Recursively- defined domains
Côte titre : Fs/19837 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/19837 Fs/19837 Livre Bibliothéque des sciences Anglais Disponible
Disponible