SSA-based flow-sensitive type analysis: combining constant and type propagation

Authors:
Alexandre Lenart;Christopher Sadler;Sandeep K. S. Gupta
Affiliations:
Colorado State University, Computer Science Department, Fort-Collins, CO;Colorado State University, Computer Science Department, Fort-Collins, CO;Colorado State University, Computer Science Department, Fort-Collins, CO
Venue:
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Year:
2000

Interprocedural constant propagation

SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Constant propagation with conditional branches

ACM Transactions on Programming Languages and Systems (TOPLAS)
Precise concrete type inference for object-oriented languages

OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Combining analyses, combining optimizations

ACM Transactions on Programming Languages and Systems (TOPLAS)
Fast static analysis of C++ virtual function calls

Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The Java Language Specification

The Java Language Specification
The Complexity of Type Analysis of Object Oriented Programs

ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming

Introduction to the programming languages track (track introduction)

SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Strength reduction for loop-invariant types

ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26

Hi-index	0.00