La conception et la réalisation de langages de programmation, depuis Fortran et Cobol jusqu'à Caml et Java, est l'une des clés du développement et de la maîtrise de systèmes informatiques toujours plus complexes. Ce livre propose au lecteur de partir à la découverte des outils qui permettent de penser, définir et implémenter ces langages.Il propose une vision unifiée des différents formalismes, sémantique opérationnelle à petits pas, à grands pas et sémantique dénotationnelle, qui permettent de définir un langage de programmation, en insistant sur le fait que les uns et les autres cherchent
🗹 Auteur: Gilles Dowek
🗹 Langue: Français
🗹 ISBN-13: 9782730213332
🗹 Date de publication: 12 octobre 2006
🗹 Format ebook : PDF, EPUB, Kindle, Audio, HTML et MOBI
★★★★☆ 4.4 sur 5 etoiles (3 évaluations)
Vérification de la santé des fichiers distants...
Qu'est-ce que je reçois?
✓ Lisez autant de livres numériques que vous le souhaitez!
✓ Scanneé pour la sécurité, pas de virus détecté
✓ Faites votre choix parmi des milliers de livres numériques - Les nouvelles sorties les plus populaires
✓ Cliquez dessus et lisez-le! - Lizez des livres numériques sans aucune attente. C'est instantané!
✓ Continuez à lire vos livres numériques préférés encore et encore!
✓ Cela fonctionne n'importe où dans le monde!
✓ Pas de frais de retard ou de contracts fixes - annulez n'importe quand!