In and Out of SSA : a Denotational Specification

International audience

Data and Resources

Additional Info

Field Value
Source Workshop Static Single-Assignment Form Seminar,
Author Pop, Sebastian, Jouvelot, Pierre, Silber, George André
Maintainer CCSD
Last Updated May 7, 2026, 21:36 (UTC)
Created May 7, 2026, 21:36 (UTC)
Identifier hal-00915979
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Advanced Micro Devices [Austin] (AMD)
coverage Autrans, France
creator Pop, Sebastian
date 2009-04-27T00:00:00
harvest_object_id aa2d1a21-5b93-4dd7-b078-202fcc250f38
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2026-02-07T00:00:00
set_spec type:COMM