69 search results - page 2 / 14 » Predicated Static Single Assignment |
118
Voted
SAS
1999
Springer
15 years 5 months ago
1999
Springer
Programs represented in Static Single Assignment (SSA) form contain phi instructions (or functions) whose operational semantics are to merge values coming from distinct control flo...
112
Voted
ACSD
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
86
Voted
TOPLAS
2008
15 years 28 days ago
2008
119
click to vote
SFP
2003
15 years 2 months ago
2003
: Static single information form is a natural extension of the well-known static single assignment form. It is a program intermediate representation used in optimising compilers fo...