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.

Property Value
dbo: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)
  • 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)
dbo:thumbnail
dbo:wikiPageID
  • 4482686 (xsd:integer)
dbo:wikiPageLength
  • 5500 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 177296581 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:fr
  • réduction de force (fr)
  • réduction partielle de duplication (fr)
  • réduction de force (fr)
  • réduction partielle de duplication (fr)
prop-fr:trad
  • Strength reduction (fr)
  • Partial redundancy elimination (fr)
  • Strength reduction (fr)
  • Partial redundancy elimination (fr)
prop-fr:wikiPageUsesTemplate
dct:subject
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)
  • 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:label
  • SSA (static single assignment form) (sv)
  • Static single assignment form (en)
  • Static single assignment form (fr)
  • 静的単一代入 (ja)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of