Data-Oblivious Stream Productivity
From MaRDI portal
Publication:5505544
DOI10.1007/978-3-540-89439-1_6zbMath1182.68117arXiv0806.2680OpenAlexW1532143586MaRDI 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
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items
A Tool Proving Well-Definedness of Streams Using Termination Tools ⋮ Productivity of stream definitions ⋮ Unnamed Item ⋮ Highlights in infinitary rewriting and lambda calculus ⋮ Unnamed Item ⋮ Behavioral Rewrite Systems and Behavioral Productivity ⋮ Lazy productivity via termination ⋮ Applications and extensions of context-sensitive rewriting ⋮ Well-Definedness of Streams by Termination ⋮ The $\Pi^0_2$ -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity)
This page was built for publication: Data-Oblivious Stream Productivity