Ctrl

MaRDI QIDQ25785swMATHFDO

Official website http://rd.springer.com/chapter/10.1007%2F978-3-662-48899-7_38

Described by source

• Constrained term rewriting tooL

Cited in

(13)

• From Jinja bytecode to term rewriting: a complexity reflecting transformation
• ARMC
• Runtime complexity analysis of logically constrained rewriting
• Slothrop
• Automatically proving termination and memory safety for programs with pointer arithmetic
• KITTeL
• Rewriting modulo SMT and open system analysis
• Proving termination through conditional termination
• TiML
• Jinja Threads
• AGES
• Completion for logically constrained rewriting
• TcT

This page was built for software: Ctrl