A Tool Proving Well-Definedness of Streams Using Termination Tools

DOI10.1007/978-3-642-03741-2_32zbMath1239.68038OpenAlexW2121166077MaRDI QIDQ2888504

Hans Zantema

Publication date: 1 June 2012

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03741-2_32

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (1)

Behavioral Rewrite Systems and Behavioral Productivity

Uses Software

• CIRC
• Tyrolean
• AProVE

Cites Work

• CIRC: A Circular Coinductive Prover
• Well-Definedness of Streams by Termination
• Data-Oblivious Stream Productivity

This page was built for publication: A Tool Proving Well-Definedness of Streams Using Termination Tools