Centaur
From MaRDI portal
Software:41255
swMATH29541MaRDI QIDQ41255FDOQ41255
Author name not available (Why is that?)
Cited In (18)
- The rewriting logic semantics project: a progress report
- Implementing the cut-and-paste operation in a structured editing system
- Preserving Syntactic Correctness While Editing Mathematical Formulas
- A rewriting logic approach to operational semantics
- SOS formats and meta-theory: 20 years after
- Mechanized metatheory revisited
- Towards semantic mathematical editing
- The calculus of context relations
- Tool-assisted specification and verification of typed low-level languages
- Nominal abstraction
- CtCoq: A system presentation
- Implementing type systems for the IDE with Xsemantics
- A rewrite framework for language definitions and for generation of efficient interpreters
- The Rewriting Logic Semantics Project: A Progress Report
- A rewriting logic approach to operational semantics (extended abstract)
- Comparison of priority rules in pattern matching and term rewriting
- An NSF proposal
- Compilation of the ELECTRE reactive language into finite transition systems
This page was built for software: Centaur
