Keyword:term rewriting

Publications
On Transforming Imperative Programs into Logically Constrained Term Rewrite Systems via Injective Functions from Configurations to Terms Naoki Nishida, Misaki Kojima and Takumi Kato EasyChair Preprint 8673
On Transforming Rewriting-Induction Proofs for Logical-Connective-Free Sequents into Cyclic Proofs Shujun Zhang and Naoki Nishida EasyChair Preprint 8672
On Reducing Non-Occurrence of Specified Runtime Errors to All-Path Reachability Problems of Constrained Rewriting Misaki Kojima and Naoki Nishida EasyChair Preprint 8671
Numeric Base Conversion with Rewriting Olivier Hermant and Wojciech Loboda In:LPAR 2024 Complementary Volume
Analyzing Runtime Complexity via Innermost Runtime Complexity Florian Frohn and Jürgen Giesl In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Transforming Prefix-constrained or Controlled Rewrite Systems Nirina Andrianarivelo, Vivien Pelletier and Pierre Réty In:SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017
Some Notes on Basic Syntactic Mutation Kimberly Gero, Chris Bouchard and Paliath Narendran In:UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification
Unication Problems Modulo a Theory of Until Shreyaben Brahmakshatriya, Sushma Danturi, Kimberly Gero and Paliath Narendran In:UNIF 2013. 27th International Workshop on Unification
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting Marco Comini and Luca Torella In:SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science
Rewriting and Well-Definedness within a Proof System Issam Maamria and Michael Butler In:PAR-10. Partiality and Recursion in Interactive Theorem Provers
On Implementing Modular Complexity Analysis Harald Zankl and Martin Korp In:IWIL 2010. The 8th International Workshop on the Implementation of Logics