Analysis of probabilistic programs by abstract interpretation
type: Dataset
contact point: Organization
  fn: CCSD
keyword: nondeterminism
keyword: theses
keyword: infoinfo-ohcomputer-science-csother-csoh
keyword: infoeu-reposemanticsdoctoralthesis
keyword: infoinfo-secomputer-science-cssoftware-engineering-csse
keyword: non-determinisme
keyword: abstract-interpretation
keyword: interpretation-abstraite
keyword: static-analysis
keyword: probabilites
keyword: probabilities
keyword: analyse-statique
landing page: https://theses.hal.science/tel-00084287
description: version corrigée de quelques scories
issued: 2026-05-10T10:09:51.790425
language: en
modified: 2026-05-10T10:09:51.790430

test_moissonnage_selune
type: Agent

Analysis of probabilistic programs by abstract interpretation
type: Distribution
access URL: https://theses.hal.science/tel-00084287
format: HTML
issued: 2026-05-10T10:09:51.806186
modified: 2026-05-10T10:09:51.775961