Space consumption analysis by abstract interpretation: Inference of recursive functions | Publicación