Data-Oblivious Stream Productivity
From MaRDI portal
Publication:5505544
DOI10.1007/978-3-540-89439-1_6zbMath1182.68117arXiv0806.2680MaRDI QIDQ5505544
Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks
Publication date: 27 January 2009
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0806.2680
68Q60: Specification and verification (program logics, model checking, etc.)
68Q42: Grammars and rewriting systems
Related Items
Unnamed Item, Behavioral Rewrite Systems and Behavioral Productivity, Lazy productivity via termination, Productivity of stream definitions, Highlights in infinitary rewriting and lambda calculus, A Tool Proving Well-Definedness of Streams Using Termination Tools, Well-Definedness of Streams by Termination, The $\Pi^0_2$ -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity)