Cited in
(only showing first 100 items - show all)- K-Maude: a rewriting based tool for semantics of programming languages
- Maximally parallel contextual string rewriting
- LambdaMu-calculus
- eThor
- The rewriting logic semantics project: a progress report
- A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines
- The rewriting logic semantics project: a progress report
- A rewriting logic semantics approach to modular program analysis
- Twenty years of rewriting logic
- scientific article; zbMATH DE number 7204429 (Why is no real title available?)
- Dynamic structural operational semantics
- Memory representations in rewriting logic semantics definitions
- Executable component-based semantics
- A rewriting logic approach to operational semantics
- Model checking of synchronized domain-specific multi-formalism models using high-level Petri nets
- Pattern eliminating transformations
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle
- K-Java: a complete semantics of Java
- P systems with control nuclei: the concept
- Operational semantics of a weak memory model with channel synchronization
- Symbolic execution based on language transformation
- Matching logic: an alternative to Hoare/Floyd logic
- Matching logic
- A truly concurrent semantics for the \(\mathbb{K}\) framework based on graph transformations
- Towards a unified theory of operational and axiomatic semantics
- From hoare logic to matching logic reachability
- Language definitions as rewrite theories
- A Theoretical Foundation for Programming Languages Aggregation
- An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model
- Verifying Reachability-Logic Properties on Rewriting-Logic Specifications
- Implementing type systems for the IDE with Xsemantics
- Ott
- Stratego
- JavaFAN
- CoqJVM
- TinkerType
- ITP/OCL
- LOGEN
- OBJ3
- Rascal
- CIRC
- CafeOBJ
- Maude
- 2OBJ
- Agapia
- ATGen
- MMT
- TRACER
- PVeStA
- Lem
- Cyclone
- SOCLE
- K tool
- K-Maude
- Dist-Orc
- PLT Redex
- Toolchain
- MOMENT2
- Tom
- TSOTool
- vlogsl
- Mezzo
- PrologCheck
- CoDeSe
- TS#
- Spoofax
- LCLint
- K-Java
- KJS
- SymPLFIED
- XASM
- MGS
- Alms
- KLOVERA
- JavAdaptor
- JSLINQ
- BicolanoMT
- Hackage
- Jinja Threads
- SeLINQ
- coFJ
- Centaur
- CLDC
- Java+ITP
- KOOL
- SILF
- Ruler
- TSL
- Mechanising a type-safe model of multithreaded Java with a verified compiler
- Logical approximation for program analysis
- A lazy desugaring system for evaluating programs with sugars
- A rewrite framework for language definitions and for generation of efficient interpreters
- A Rewriting Logic Approach to Type Inference
- αCheck: A mechanized metatheory model checker
- KtoIsabelle
- From rewriting logic, to programming language semantics, to program verification
- Defining and Executing P Systems with Structured Data in K
- Program equivalence by circular reasoning
- A generic framework for symbolic execution: a coinductive approach
- Program logics and their applications
This page was built for software: K Prover
