Flemming Nielson (nielson-f)

Contributions to Philosophie.ch

Bibliography

Jones, Neil D. and Nielson, Flemming. 1995. “Abstract Interpretation: a Semantics-Based Tool for Program Analysis.” in Handbook of Logic in Computer Science. Volume 4. Semantic Modelling, edited by Samson Abramsky, Dov M. Gabbay, and Thomas S. E. Maibaum, pp. 527–635. Oxford: Oxford University Press.