Sujets
Documents disponibles dans cette catégorie (73)
Ajouter le résultat dans votre panier
Visionner les documents numériques
Faire une suggestion Affiner la recherche
Article : texte imprimé
Guillaume Claret, Auteur | 2025"Nous présentons dans cet article l’outil “coq-of-rust” https://github.com/formal-land/coqof-rust, un outil d’analyse de code Rust pour garantir l’absence de bug dans un programme par vérification formelle." (Extrait de Programmez n°272)
Article : texte imprimé
Daniel Fedorin, Auteur | 2025"Chapel est un langage de programmation open source, conçu pour le calcul parallèle productif. Parmi les nombreuses formes de calcul parallèle, il en est une qui a connu un essor fulgurant : le calcul sur GPU. C’est pourquoi l’équipe de Chapel s’est investie pour intégrer au langag...
Article : texte imprimé
Loïc Mathieu, Auteur | 2025"Maintenant que Java 24 est sorti, c’est le moment de faire le tour des fonctionnalités qu’apporte cette nouvelle version, à nous, les développeurs. Java 24 contient pas moins de 24 JEP, c’est un record et surtout un chiffre éponyme !" (Extrait de Programmez n°271)
Article : texte imprimé
Philippe Pajot, Intervieweur | 2025Donald Knuth est considéré comme l'un des fondateurs de l'informatique moderne. Depuis ses premières curiosités mathématiques jusqu'à son oeuvre majeure, The Art of Computer Programming, il a contribué à définir l'ère algorithmique. Il est également le créateur du système de composition typographique TeX, désormais utilisé par des scientif...
Article : texte imprimé
Stéphane Carrez, Auteur | 2025"Après de longues années d’absence, Ada vient de refaire son apparition dans le TIOBE Programming Community Index, l’index de popularité des langages de programmation. Pourquoi un tel regain d’intérêt, là où bien souvent les développeurs se tournent vers la facilité ? Une partie de la réponse ...
Article : texte imprimé
Simon Fried, Auteur | 2025"Revenons quelques décennies en arrière, à l’époque où la programmation informatique n’était encore qu’à ses prémices. À cette époque, l’informatique classique reposait sur de laborieuses opérations de câblage manuel de transistors. Pourtant cette époque était aussi marquée par une effervescence intellectuelle, où les nouvelles idé...
Article : texte imprimé
Haroun Azoulay, Auteur | 2025"Nous allons voir ensemble les deux évolutions majeures de Python 3.13. Nous aborderons le compilateur JIT ainsi que du Free-threaded sans GIL. Nous détaillerons dans un premier temps la partie pratique à travers du code expliqué. Ensuite, nous analyserons les résultats obtenus ainsi que les étapes de création et enf...
Article : texte imprimé
Pierre-Yves Fourmond, Auteur | 2025"Pendant longtemps, le switch du langage Java est resté inchangé. Présent depuis la création du langage, il a légèrement évolué avec Java 5.0 et l’arrivée des enum, avec Java 7 et la prise en charge des String, mais ensuite rien n’a changé jusqu’à la version 12 et la JEP 3...
texte imprimé
Des premiers pas à la maîtrise de C++23 Comme dans sa première édition, ce livre a été conçu pour accompagner les étudiants d'université ou d'école d'ingénieurs, ou toute personne désirant compléter ou actualiser ses compétences de programmeur C++. Il décrit le C++ moderne, qui est présenté dans ...
Article : texte imprimé
Raul Alvarez Torrico, Auteur | 2024
