Productivity of Stream Definitions
From MaRDI portal
Publication:5444967
DOI10.1007/978-3-540-74240-1_24zbMath1135.68471MaRDI QIDQ5444967
Clemens Grabmayer, Jörg Endrullis, Jan Willem Klop, Dimitri Hendriks, Ariya Isihara
Publication date: 26 February 2008
Published in: Fundamentals of Computation Theory (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/1871/11422
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Complexity of Fractran and Productivity, Lazy productivity via termination, Complete sets of cooperations, Coalgebras in functional programming and type theory, Productivity of stream definitions, Inductive and Coinductive Components of Corecursive Functions in Coq, Observational Coalgebras and Complete Sets of Co-operations, Unnamed Item, Bisimulations Generated from Corecursive Equations, The $\Pi^0_2$ -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity), Proving Infinitary Normalization, Using Structural Recursion for Corecursion, Upper Bounds on Stream I/O Using Semantic Interpretations