69 search results - page 2 / 14 » Predicated Static Single Assignment |
SAS
1999
Springer
13 years 9 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...
ACSD
2010
IEEE
13 years 3 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...
TOPLAS
2008
13 years 5 months ago
2008
SPE
1998
13 years 4 months ago
1998
SFP
2003
13 years 6 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...