zbMATH — the first resource for mathematics

Optimal run time optimization proved by a new look at abstract interpretations. (English) Zbl 0614.68012
TAPSOFT ’87, Proc. Int. Conf. Software development, Pisa/Italy 1987, Vol. 1: Trees in algebra and programming, Lect. Notes Comput. Sci. 249, 52-68 (1987).
For the entire collection see Zbl 0605.00015.

68Q60 Specification and verification (program logics, model checking, etc.)