Centaur
From MaRDI portal
Software:41255
No author found.
Related Items (18)
Tool-assisted specification and verification of typed low-level languages ⋮ SOS formats and meta-theory: 20 years after ⋮ Implementing the cut-and-paste operation in a structured editing system ⋮ The rewriting logic semantics project: a progress report ⋮ Nominal abstraction ⋮ Preserving Syntactic Correctness While Editing Mathematical Formulas ⋮ The calculus of context relations ⋮ Compilation of the ELECTRE reactive language into finite transition systems ⋮ CtCoq: A system presentation ⋮ Implementing type systems for the IDE with Xsemantics ⋮ A rewriting logic approach to operational semantics ⋮ The Rewriting Logic Semantics Project: A Progress Report ⋮ Mechanized metatheory revisited ⋮ Towards semantic mathematical editing ⋮ Comparison of priority rules in pattern matching and term rewriting ⋮ A Rewriting Logic Approach to Operational Semantics (Extended Abstract) ⋮ A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters ⋮ An NSF proposal
This page was built for software: Centaur
