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