Centaur
From MaRDI portal
Cited in
(40)- A rewriting logic approach to operational semantics
- Implementing the cut-and-paste operation in a structured editing system
- Jakarta
- lolliCoP
- JavaFAN
- ITP/OCL
- LETOS
- TeXmacs
- MMT
- Bedwyr
- CtCoq
- MOMENT2
- Kermeta
- Dist-Orc
- Mechanized metatheory revisited
- Towards semantic mathematical editing
- vlogsl
- A rewriting logic approach to operational semantics (extended abstract)
- A rewrite framework for language definitions and for generation of efficient interpreters
- The rewriting logic semantics project: a progress report
- KANREN
- SPEC
- YACC
- The rewriting logic semantics project: a progress report
- PRIZ
- COSY
- K Prover
- Java+ITP
- Ruler
- Preserving syntactic correctness while editing mathematical formulas
- CtCoq: a system presentation
- qGCL
- Nominal abstraction
- Compilation of the ELECTRE reactive language into finite transition systems
- Implementing type systems for the IDE with Xsemantics
- Comparison of priority rules in pattern matching and term rewriting
- An NSF proposal
- Tool-assisted specification and verification of typed low-level languages
- SOS formats and meta-theory: 20 years after
- The calculus of context relations
This page was built for software: Centaur
