Search Sciweavers | Sciweavers

33 search results - page 1 / 7

» Interprocedural Static Single Assignment Form

click to vote

WCRE
2007
IEEE

112views Software Engineering» more WCRE 2007»

Interprocedural Static Single Assignment Form

13 years 11 months ago

Download elib.uni-stuttgart.de

In this paper we describe interprocedural static single assignment form (ISSA) with optimizations as implemented in the Bauhaus project. We explain our framework which abstract pr...

Stefan Staiger, Gunther Vogel, Steffen Keul, Eduar...

claim paper

Read More »

click to vote

SAS
2009
Springer

135views Formal Methods» more SAS 2009»

Increasing the Scope and Resolution of Interprocedural Static Single Assignment

14 years 5 months ago

Download www.eecg.toronto.edu

Silvian Calman, Jianwen Zhu

claim paper

Read More »

click to vote

SAS
1999
Springer

106views Formal Methods» more SAS 1999»

Translating Out of Static Single Assignment Form

13 years 9 months ago

Download www.tjhsst.edu

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...

Vugranam C. Sreedhar, Roy Dz-Ching Ju, David M. Gi...

claim paper

Read More »

click to vote

TOPLAS
2008

83views more TOPLAS 2008»

Java bytecode verification via static single assignment form

13 years 4 months ago

Download www.ics.uci.edu

Andreas Gal, Christian W. Probst, Michael Franz

claim paper

Read More »