Avis des lecteurs
Résumé:Ce livre est considéré comme essentiel pour les chercheurs et les passionnés de langages de programmation, car il offre un aperçu unique de sujets complexes qui ne sont pas abordés ailleurs.
Avantages:⬤ Texte obligatoire pour les chercheurs
⬤ écrit par des experts clés
⬤ couvre des sujets que l'on ne trouve pas dans d'autres ouvrages
⬤ essentiel pour comprendre la programmation typée dépendante
⬤ fournit une discussion approfondie sur les types linéaires et le polymorphisme de rangée.
Public potentiellement limité, car il peut être trop technique pour les débutants ; certains sujets sont spécialisés et peuvent ne pas intéresser tous les programmeurs.
(basé sur 4 avis de lecteurs)
Titre original :
Advanced Topics in Types and Programming Languages
Contenu du livre :
Une introduction complète et accessible à une série d'idées clés sur les systèmes de types pour les langages de programmation.
L'étude des systèmes de types pour les langages de programmation touche désormais de nombreux domaines de l'informatique, de la conception et de l'implémentation des langages au génie logiciel, à la sécurité des réseaux, aux bases de données et à l'analyse des systèmes concurrents et distribués. Ce livre propose des introductions accessibles aux idées clés du domaine, avec des contributions d'experts sur chaque sujet.
Les sujets couverts incluent les analyses de types précises, qui étendent les systèmes de types simples pour leur donner une meilleure prise sur le comportement des systèmes au moment de l'exécution ; les systèmes de types pour les langages de bas niveau ; les applications des types au raisonnement sur les programmes informatiques ; la théorie des types comme cadre pour la conception de systèmes de modules sophistiqués ; et les techniques avancées dans l'inférence de type de type de type ML.
Advanced Topics in Types and Programming Languages s'appuie sur Types and Programming Languages de Benjamin Pierce (MIT Press, 2002) ; la plupart des chapitres devraient être accessibles aux lecteurs familiers avec les notations et techniques de base de la sémantique opérationnelle et des systèmes de types - le matériel couvert dans la première moitié de l'ouvrage précédent.
Sujets avancés sur les types et les langages de programmation peut être utilisé en classe et comme ressource pour les professionnels. La plupart des chapitres comprennent des exercices, dont le niveau de difficulté va de la vérification rapide de la compréhension à des extensions difficiles, et dont la plupart sont accompagnés de solutions.
Autres informations sur le livre :
| ISBN : | 9780262162289 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Relié |
| Année de publication : | 2004 |
| Nombre de pages : | 588 |
Achat:
Actuellement disponible, en stock.
