Abstract
In previous chapters we have studied several algorithms for obtaining solutions of program analyses. In this chapter we shall explore further the similarities between the different approaches to program analysis by studying general algorithms for solving equation or inequation systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Nielson, F., Nielson, H.R., Hankin, C. (1999). Algorithms. In: Principles of Program Analysis. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-03811-6_6
Download citation
DOI: https://doi.org/10.1007/978-3-662-03811-6_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-08474-4
Online ISBN: 978-3-662-03811-6
eBook Packages: Springer Book Archive