Centaur
From MaRDI portal
Cited in
(40)- The rewriting logic semantics project: a progress report
- Implementing the cut-and-paste operation in a structured editing system
- The rewriting logic semantics project: a progress report
- A rewriting logic approach to operational semantics
- SOS formats and meta-theory: 20 years after
- Mechanized metatheory revisited
- The calculus of context relations
- Towards semantic mathematical editing
- Tool-assisted specification and verification of typed low-level languages
- Nominal abstraction
- Implementing type systems for the IDE with Xsemantics
- Jakarta
- lolliCoP
- JavaFAN
- ITP/OCL
- LETOS
- TeXmacs
- MMT
- Bedwyr
- CtCoq
- Dist-Orc
- Kermeta
- MOMENT2
- vlogsl
- KANREN
- SPEC
- YACC
- PRIZ
- COSY
- Java+ITP
- K Prover
- Ruler
- qGCL
- Preserving syntactic correctness while editing mathematical formulas
- A rewrite framework for language definitions and for generation of efficient interpreters
- A rewriting logic approach to operational semantics (extended abstract)
- CtCoq: a system presentation
- 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