Optimization of range checking

Proceedings of the 1982 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1982

Volumn , Issue , 1982, Pages 114-119

  Markstein, Victoria ^a   Cocke, John ^a   Markstein, Peter ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMMON SUBEXPRESSION ELIMINATION; RUNTIMES; STRENGTH REDUCTION; TEST PROGRAM;

PROGRAM COMPILERS;

EID: 85051702715     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/800230.806986     Document Type: Conference Paper

References (5)

1. Allen F. and Cocke J., A Programming Data Flow Analysis Procedure, CACM Vol 19, (3 March 1976); 137-147.
2. Cocke J. and Markstein P., Measurement of Code Improvement Algorithms, Proceedings of IFIPS (1980); 221-228.
3. Harrison W., Compiler Analysis of the Value Ranges for Variables, IEEE Transactions on Software Engineering, (May 1977); 243-250.
4. Schwartz J. T., On Programming - An Interim Report on the SETL Project. Installment II: The SETL Language and Examples of Its Use, Courant Institute of Mathematical Sciences, N. Y. U., (1973); 293-310.
5. Welsh, J., Economic Range Checks in Pascal, Software - Practice and Experience, (1978); Vol. 8, 85-97