Strictness analysis for higher-order functions
Strictness analysis for higher-order functions - Burn
Abstract interpretation is a compile-time technique which is used to gain information about a program that may then be used to optimise the execution of the program. A particular use of abstract interpretation is the strictness analysis of functional programs.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!