Using static single assignment form to improve flow-insensitive pointer analysis

Rebecca Hasti; Susan Horwitz

doi:10.1145/277652.277668

Using static single assignment form to improve flow-insensitive pointer analysis

ACM SIGPLAN Notices ◽

10.1145/277652.277668 ◽

1998 ◽

Vol 33 (5) ◽

pp. 97-105 ◽

Cited By ~ 10

Author(s):

Rebecca Hasti ◽

Susan Horwitz

Keyword(s):

Pointer Analysis ◽

Static Single Assignment ◽

Single Assignment

Download Full-text

Using static single assignment form to improve flow-insensitive pointer analysis

Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation - PLDI '98 ◽

10.1145/277650.277668 ◽

1998 ◽

Cited By ~ 28

Author(s):

Rebecca Hasti ◽

Susan Horwitz

Keyword(s):

Pointer Analysis ◽

Static Single Assignment ◽

Single Assignment

Download Full-text

Scalar Compiler Optimizations on the Static Single Assignment Form and the Flow Graph Y.N. Srikant

The Compiler Design Handbook ◽

10.1201/9781420040579-7 ◽

2002 ◽

pp. 111-154

Keyword(s):

Compiler Optimizations ◽

Flow Graph ◽

Static Single Assignment ◽

Single Assignment

Download Full-text

Translating Out of Static Single Assignment Form

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-48294-6_13 ◽

1999 ◽

pp. 194-210 ◽

Cited By ~ 20

Author(s):

Vugranam C. Sreedhar ◽

Roy Dz-Ching Ju ◽

David M. Gillies ◽

Vatsa Santhanam

Keyword(s):

Static Single Assignment ◽

Single Assignment

Download Full-text

A Static Recognition Mechanism for Indirect Call Based on Static Single Assignment

Pervasive Computing and the Networked World - Lecture Notes in Computer Science ◽

10.1007/978-3-319-09265-2_12 ◽

2014 ◽

pp. 110-117

Author(s):

Shixiang Gao ◽

Tao Zheng ◽

Xun Zhan ◽

Xianping Tao ◽

Qiaoming Zhu ◽

...

Keyword(s):

Recognition Mechanism ◽

Static Single Assignment ◽

Single Assignment

Download Full-text

Concurrent static single assignment form and constant propagation for explicitly parallel programs

Languages and Compilers for Parallel Computing - Lecture Notes in Computer Science ◽

10.1007/bfb0032687 ◽

1998 ◽

pp. 114-130 ◽

Cited By ~ 15

Author(s):

Jaejin Lee ◽

Samuel P. Midkiff ◽

David A. Padua

Keyword(s):

Parallel Programs ◽

Static Single Assignment ◽

Single Assignment ◽

Constant Propagation

Download Full-text

Simple Generation of Static Single-Assignment Form

Lecture Notes in Computer Science - Compiler Construction ◽

10.1007/3-540-46423-9_8 ◽

2000 ◽

pp. 110-125 ◽

Cited By ~ 15

Author(s):

John Aycock ◽

Nigel Horspool

Keyword(s):

Static Single Assignment ◽

Single Assignment

Download Full-text

Interprocedural Static Single Assignment Form

14th Working Conference on Reverse Engineering (WCRE 2007) ◽

10.1109/wcre.2007.31 ◽

2007 ◽

Cited By ~ 3

Author(s):

Stefan Staiger ◽

Gunther Vogel ◽

Steffen Keul ◽

Eduard Wiebe

Keyword(s):

Static Single Assignment ◽

Single Assignment

Download Full-text

Increasing the Scope and Resolution of Interprocedural Static Single Assignment

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03237-0_12 ◽

2009 ◽

pp. 154-170 ◽

Cited By ~ 3

Author(s):

Silvian Calman ◽

Jianwen Zhu

Keyword(s):

Static Single Assignment ◽

Single Assignment

Download Full-text

Static Single-Assignment Form

Modern Compiler Implementation in C ◽

10.1017/cbo9781139174930.020 ◽

1997 ◽

pp. 433-473

Keyword(s):

Static Single Assignment ◽

Single Assignment

Download Full-text

Scalar Compiler Optimizations on the Static Single Assignment Form and the Flow Graph

The Compiler Design Handbook ◽

10.1201/9781420040579.ch3 ◽

2002 ◽

Author(s):

Y Srikant

Keyword(s):

Compiler Optimizations ◽

Flow Graph ◽

Static Single Assignment ◽

Single Assignment

Download Full-text