Attributes | Values |
---|
rdfs:label
| - SSA (static single assignment form) (sv)
- Static single assignment form (en)
- Static single assignment form (fr)
- 静的単一代入 (ja)
|
rdfs:comment
| - En compilation informatique, static single assignment form (SSA), en français, forme statique à affectation unique est une représentation intermédiaire (RI) du code source d'un programme dont la particularité est d'astreindre chaque variable à n'être affectée qu'une et une seule fois. Les variables existantes dans la première représentation sont divisées en « versions », les nouvelles variables reprenant le nom original avec une extension. La représentation SSA a été développée par , Jeanne Ferrante, , , et , chercheurs pour IBM dans les années 1980. (fr)
|
rdfs:seeAlso
| |
sameAs
| |
Wikipage page ID
| |
Wikipage revision ID
| |
dbo:wikiPageWikiLink
| |
page length (characters) of wiki page
| |
dct:subject
| |
prop-fr:wikiPageUsesTemplate
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
prop-fr:fr
| - réduction de force (fr)
- réduction partielle de duplication (fr)
|
prop-fr:trad
| - Strength reduction (fr)
- Partial redundancy elimination (fr)
|
thumbnail
| |
foaf:isPrimaryTopicOf
| |
has abstract
| - En compilation informatique, static single assignment form (SSA), en français, forme statique à affectation unique est une représentation intermédiaire (RI) du code source d'un programme dont la particularité est d'astreindre chaque variable à n'être affectée qu'une et une seule fois. Les variables existantes dans la première représentation sont divisées en « versions », les nouvelles variables reprenant le nom original avec une extension. La représentation SSA a été développée par , Jeanne Ferrante, , , et , chercheurs pour IBM dans les années 1980. Les compilateurs de langages fonctionnels tel que pour le Scheme, ML et Haskell utilisent généralement une technique dite « continuation-passing style » (CPS) alors que SSA est utilisé principalement pour des langages procéduraux tel que le C ou leFortran. Ces deux représentations sont proches et les optimisations et transformations faites à l'une peuvent s'appliquer à l'autre. (fr)
|
is dbo:wikiPageWikiLink
of | |
is Wikipage redirect
of | |
is Wikipage disambiguates
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |