Concepts et sémantique des langages de programmation 1
eBook - PDF

Concepts et sémantique des langages de programmation 1

  1. French
  2. PDF
  3. Disponible sur iOS et Android
eBook - PDF

Concepts et sémantique des langages de programmation 1

Détails du livre
Table des matières
Citations

À propos de ce livre

Cet ouvrage explore les constructions syntaxiques des langages de programmation les plus courants, avec un éclairage mathématique sur leurs sémantiques et une présentation précise des aspects matériels qui interfèrent avec le codage.Ce volume est dédié aux traits fonctionnels et impératifs. Il étudie formellement les sémantiques de typage et d'exécution, facilitant leur acquisition par leur implantation en OCaml et Python et par des exercices corrigés. La représentation des données est traitée en détail: types construits, filtrage, boutisme, pointeurs, gestion de la mémoire, etc., avec des exemples en OCaml, C et C++.Concepts et sémantique des langages de programmation 1s'adresse aux étudiants et enseignants des cursus informatiques ainsi qu'aux programmeurs chevronnés, qui y trouveront un guide de lecture des manuels de référence ainsi que les fondements de la vérification de programmes.

Foire aux questions

Il vous suffit de vous rendre dans la section compte dans paramètres et de cliquer sur « Résilier l’abonnement ». C’est aussi simple que cela ! Une fois que vous aurez résilié votre abonnement, il restera actif pour le reste de la période pour laquelle vous avez payé. Découvrez-en plus ici.
Pour le moment, tous nos livres en format ePub adaptés aux mobiles peuvent être téléchargés via l’application. La plupart de nos PDF sont également disponibles en téléchargement et les autres seront téléchargeables très prochainement. Découvrez-en plus ici.
Les deux abonnements vous donnent un accès complet à la bibliothèque et à toutes les fonctionnalités de Perlego. Les seules différences sont les tarifs ainsi que la période d’abonnement : avec l’abonnement annuel, vous économiserez environ 30 % par rapport à 12 mois d’abonnement mensuel.
Nous sommes un service d’abonnement à des ouvrages universitaires en ligne, où vous pouvez accéder à toute une bibliothèque pour un prix inférieur à celui d’un seul livre par mois. Avec plus d’un million de livres sur plus de 1 000 sujets, nous avons ce qu’il vous faut ! Découvrez-en plus ici.
Recherchez le symbole Écouter sur votre prochain livre pour voir si vous pouvez l’écouter. L’outil Écouter lit le texte à haute voix pour vous, en surlignant le passage qui est en cours de lecture. Vous pouvez le mettre sur pause, l’accélérer ou le ralentir. Découvrez-en plus ici.
Oui, vous pouvez accéder à Concepts et sémantique des langages de programmation 1 par Hardin Thérèse, Jaume Mathieu, Pessaux Francois en format PDF et/ou ePUB ainsi qu’à d’autres livres populaires dans Computer Science et Computer Science General. Nous disposons de plus d’un million d’ouvrages à découvrir dans notre catalogue.

Informations

Éditeur
ISTE Éditions
Année
2020
ISBN
9781784067014
Sujet
Computer Science
Sous-sujet
Computer Science General

Table des matières

  1. Front cover
  2. Table des matières
  3. Préface
  4. Avant-propos
  5. Chapitre 1
  6. Chapitre 2
  7. Chapitre 3
  8. Chapitre 4
  9. Chapitre 5
  10. Chapitre 6
  11. Chapitre 7
  12. Chapitre 8
  13. Conclusion
  14. Annexe
  15. Liste des notations
  16. Liste des implantationsdes sémantiques
  17. Bibliographie
  18. Index
  19. Sommaire
  20. Back Cover