Séances de cours associées à Langage de programmation à usage général

Séances de cours associées (2)

La séparation est tout ce dont vous avez besoin : Fondations pour la vérification modulaire

Explore les fondements de la vérification modulaire en utilisant la logique de séparation pour des programmes concomitants réalistes et discute des défis de l'état mutable partagé dans la concorde.

Évaluation des données avec programmation multi-étapes

Explore l'évaluation des données, l'intégration DSL, la sémantique, les algorithmes de points fixes et la programmation en plusieurs étapes.