Publications tagged "Rewriting"
Automation CPS Certification Complexity Analysis Constraint Systems Cryptography EasyCrypt Expectation Transformers Formalization Functional Programming Graph Rewriting Hardness Haskell Higher-Order ICC ICCT Imperative Imperative Programming Interpretations Invariance Isabelle/HOL Layout-Randomization Memoization OCaml Path Orders Predicative Recursion Probabilistic Program Analysis Quantum Relational Logic Rewriting Runtime Complexity Analysis Security Sized-Types TCT Term Rewriting Termination Types
2025
-
Martin Avanzini and Akihisa Yamada. “Weighted Rewriting”. Frontiers of Combining Systems - 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 - October 1, 2025, Proceedings, volume 15979 of Lecture Notes in Computer Science, pages 191–208, (2025). Springer.
-
René Thiemann, Christian Sternagel, Christina Kirk, Martin Avanzini, Bertram Felgenhauer, Julian Nagele, Thomas Sternagel, Sarah Winkler and Akihisa Yamada. “First-Order Rewriting”. Arch. Formal Proofs 2025 (2025)