Polyèdres et compilation
type: Dataset
description: International audience
issued: 2026-05-11T00:12:32.511596
language: fr
modified: 2026-05-11T00:12:32.511601
contact point: Organization
  fn: CCSD
keyword: abstract-interpretation
keyword: code-synthesis
keyword: infocompcomputer-science-csdomaininfocomp
keyword: infoeu-reposemanticsarticle
keyword: infoparcomputer-science-csdomaininfopar
keyword: interpretation-abstraitebrkeywordsbrprogram-transformation
keyword: journal-articles
keyword: parallelisation
keyword: parallelization
keyword: polyedre
keyword: polyhedron
keyword: synthese-de-code
keyword: transformation-de-programme
landing page: 0752-4072

Polyèdres et compilation
type: Distribution
format: HTML
issued: 2026-05-11T00:12:32.514710
modified: 2026-05-11T00:12:32.498082
access URL: https://minesparis-psl.hal.science/hal-00826543

test_moissonnage_selune
type: Agent