1 search results - page 1 / 1 » Upper Bounds on Stream I O Using Semantic Interpretations |
CSL
2009
Springer
13 years 9 months ago
2009
Springer
This paper extends for the first time semantic interpretation tools to infinite data in order to ensure Input/Output upper bounds on first order Haskell like programs on streams...