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