BigraphER: Rewriting and Analysis Engine for Bigraphs
No abstract available.
Related papers
- Bigraphs and transitions POPL 2003
- The Rewrite Engines Competitions: A RECtrospective TACAS 2019
- Towards Efficient Model Comparison using Automated Program Rewriting SLE 2023
- Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories JFP 2001
- The Kansas University rewrite engine - A Haskell-Embedded Strategic Programming Language with Custom Closed Universes JFP 2014
- Thinking Fast and Correct: Automated Rewriting of Numerical Code through Compiler Augmentation CGO 2026
- Transparent Optimisation of Rewriting Combinators JFP 1999
- Debugging WebAssembly? Put Some Whamm on It! OOPSLA 2025