Interprocedural Analysis with Lazy Propagation

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15769-1_20 ◽

2010 ◽

pp. 320-339 ◽

Cited By ~ 16

Author(s):

Simon Holm Jensen ◽

Anders Møller ◽

Peter Thiemann

Keyword(s):

Interprocedural Analysis

Download Full-text

OpenACC Routine Directive Propagation Using Interprocedural Analysis

Accelerator Programming Using Directives - Lecture Notes in Computer Science ◽

10.1007/978-3-030-12274-4_5 ◽

2019 ◽

pp. 99-113

Author(s):

Aniket Shivam ◽

Michael Wolfe

Keyword(s):

Interprocedural Analysis

Download Full-text

Interprocedural Analysis: An Advanced Optimization Technique for Large Simulation Packages

Automotive Simulation ’91 ◽

10.1007/978-3-642-84586-4_16 ◽

1991 ◽

pp. 183-195

Author(s):

Ingbert Graf

Keyword(s):

Optimization Technique ◽

Interprocedural Analysis

Download Full-text

FIAT: A framework for interprocedural analysis and transformation

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

10.1007/3-540-57659-2_30 ◽

1994 ◽

pp. 522-545 ◽

Cited By ~ 13

Author(s):

Mary W. Hall ◽

John M. Mellor-Crummey ◽

Alan Carle ◽

René G. Rodríguez

Keyword(s):

Interprocedural Analysis

Download Full-text

Context-sensitive interprocedural analysis in the presence of dynamic aliasing

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

10.1007/bfb0017248 ◽

1997 ◽

pp. 101-119 ◽

Cited By ~ 1

Author(s):

Patrick W. Sathyanathan ◽

Monica S. Lam

Keyword(s):

Context Sensitive ◽

Interprocedural Analysis

Download Full-text

The impact of interprocedural analysis and optimization on the design of a software development environment

ACM SIGPLAN Notices ◽

10.1145/872728.806832 ◽

1983 ◽

Vol 18 (6) ◽

pp. 107-116

Author(s):

Keith D. Cooper ◽

Ken Kennedy ◽

Linda Torczon

Keyword(s):

Software Development ◽

Development Environment ◽

Software Development Environment ◽

Interprocedural Analysis ◽

The Impact

Download Full-text

Dynamic optimistic interprocedural analysis

ACM SIGPLAN Notices ◽

10.1145/504311.504297 ◽

2001 ◽

Vol 36 (11) ◽

pp. 195-210 ◽

Cited By ~ 3

Author(s):

Igor Pechtchanski ◽

Vivek Sarkar

Keyword(s):

Interprocedural Analysis

Download Full-text

A Generic Framework for Interprocedural Analysis of Numerical Properties

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/11547662_17 ◽

2005 ◽

pp. 235-250 ◽

Cited By ~ 8

Author(s):

Markus Müller-Olm ◽

Helmut Seidl

Keyword(s):

Generic Framework ◽

Interprocedural Analysis

Download Full-text

The impact of interprocedural analysis and optimization on the design of a software development environment

Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments - ◽

10.1145/800225.806832 ◽

1985 ◽

Cited By ~ 4

Author(s):

Keith D. Cooper ◽

Ken Kennedy ◽

Linda Torczon

Keyword(s):

Software Development ◽

Development Environment ◽

Software Development Environment ◽

Interprocedural Analysis ◽

The Impact

Download Full-text

Interprocedural analysis of asynchronous programs

ACM SIGPLAN Notices ◽

10.1145/1190215.1190266 ◽

2007 ◽

Vol 42 (1) ◽

pp. 339-350 ◽

Cited By ~ 9

Author(s):

Ranjit Jhala ◽

Rupak Majumdar

Keyword(s):

Interprocedural Analysis

Download Full-text

Hybrid top-down and bottom-up interprocedural analysis

Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 ◽

10.1145/2594291.2594328 ◽

2014 ◽

Cited By ~ 12

Author(s):

Xin Zhang ◽

Ravi Mangal ◽

Mayur Naik ◽

Hongseok Yang

Keyword(s):

Top Down ◽

Bottom Up ◽

Interprocedural Analysis

Download Full-text