Centaur
From MaRDI portal
swMATH29541MaRDI QIDQ41255FDOQ41255
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?id=65005
Cited In (36)
- The rewriting logic semantics project: a progress report
- The rewriting logic semantics project: a progress report
- Implementing the cut-and-paste operation in a structured editing system
- 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
- Implementing type systems for the IDE with Xsemantics
- LETOS
- TeXmacs
- Preserving syntactic correctness while editing mathematical formulas
- MMT
- Bedwyr
- CtCoq
- Dist-Orc
- Kermeta
- MOMENT2
- vlogsl
- A rewrite framework for language definitions and for generation of efficient interpreters
- KANREN
- SPEC
- YACC
- PRIZ
- COSY
- Java+ITP
- K Prover
- Ruler
- qGCL
- 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
