Cited in
(65)- Memory representations in rewriting logic semantics definitions
- The rewriting logic semantics project: a progress report
- The rewriting logic semantics project: a progress report
- Mechanising a type-safe model of multithreaded Java with a verified compiler
- How to Tackle Integer Weighted Automata Positivity
- Automated Reasoning
- Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics
- José Meseguer: scientist and friend extraordinaire
- The \textsf{tccp} interpreter
- Towards an Efficient Implementation of Tree Automata Completion
- Algebraic Methodology and Software Technology
- Animating the formalised semantics of a Java-like language
- Fast machine words in Isabelle/HOL
- A rewriting logic approach to operational semantics
- An operational semantics for object-oriented concepts based on the class hierarchy
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- A trusted mechanised JavaSript specification
- Partial order reduction for rewriting semantics of programming languages
- TREX
- CoqJVM
- ITP/OCL
- LETOS
- CafeOBJ
- Maude
- Timbuk
- BPEL2oWFN
- Orc
- Ptolemy
- The rewriting logic semantics project
- MMT
- VESTA
- MultiVeStA
- PMaude
- PVeStA
- HI-maude
- K tool
- K-Maude
- MFE
- ITP
- SCC
- Dist-Orc
- MOMENT2
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- vlogsl
- SynchAADL2Maude
- Java Jr
- MGS
- BicolanoMT
- FinFuns
- Jinja Threads
- Centaur
- tccp
- CLDC
- Java+ITP
- K Prover
- KOOL
- ADSafe
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs
- The rewriting logic semantics project
- Rewriting Approximations for Fast Prototyping of Static Analyzers
- One-path reachability logic
- An overview of the K semantic framework
- Twenty years of rewriting logic
- A rewriting logic approach to operational semantics (extended abstract)
- Memory policy analysis for semantics specifications in Maude
This page was built for software: JavaFAN
