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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.