Efficient Code Motion and an Adaption to Strength Reduction

Authors:
Bernhard Steffen;Jens Knoop;Oliver Rüthing
Affiliations:
-;-;-
Venue:
TAPSOFT '91 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD)
Year:
1991

Citing 0
Cited 2

Checking herbrand equalities and beyond

VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Interprocedural herbrand equalities

ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract