Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages) | IEEE Conference Publication | IEEE Xplore