Approximation
Jump to navigation
Jump to search
Approximation can be formulated rigorously using abstract interpretation or topological limits. The ideas can be found in the two seminal works by Patrick Cousot[1] and Leslie Valiant[2] respectively.
References
- ↑ Cousot, Patrick; Cousot, Radhia (1977). Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints (PDF). 4th POPL. local page: ACM Press. p. 238-252.
- ↑ Valiant, Leslie (2013). Probably Approximately Correct - Nature’s Algorithms for Learning and Prospering in a Complex World. local page: Basic Books. ISBN 978-0-465-03271-6.