| 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 |  | 
| dbo:wikiPageLength | 
	5500 (xsd:nonNegativeInteger) | 
| dbo:wikiPageRevisionID |  | 
| 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 |  |