Concepts de programmation : Variables et expressions
Graph Chatbot
Chattez avec Graph Search
Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.
AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.
Explore la cohérence éventuelle, les acteurs de Scala, et l'importance de structures de données appropriées pour atteindre la cohérence dans les systèmes distribués.
Explore la conversion de programmes impératifs en formules, y compris les conditions de vérification, la construction de formules et les structures de flux de contrôle.
Explore la vérification des programmes en utilisant l'inox, en mettant l'accent sur l'exactitude fonctionnelle, les assistants d'épreuve et l'automatisation des tâches de raisonnement.
Explore la conversion de programmes impératifs en formules de vérification, couvrant les affectations, les instructions if-else et les points-virgules de commande.
Explore la programmation parallèle dans Scala, les opérations fonctionnelles sur les collections, et les fonctions de carte parallèle sur les tableaux et les arbres.
