Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary)

Alex Ferguson, John Hughes. Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary). In John Launchbury, Patrick M. Sansom, editors, Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992. Workshops in Computing, pages 57-61, Springer, 1992.

Abstract

Abstract is missing.