JavaFAN
From MaRDI portal
Software:14483
swMATH1934MaRDI QIDQ14483FDOQ14483
Author name not available (Why is that?)
Cited In (28)
- 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
- The rewriting logic semantics project
- A rewriting logic approach to operational semantics
- Animating the Formalised Semantics of a Java-Like Language
- 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
- Automated Reasoning
- Partial order reduction for rewriting semantics of programming languages
- Algebraic Methodology and Software Technology
- The tccp Interpreter
- The Rewriting Logic Semantics Project: A Progress Report
- Memory Policy Analysis for Semantics Specifications in Maude
- Rewriting Approximations for Fast Prototyping of Static Analyzers
- José Meseguer: Scientist and Friend Extraordinaire
- Memory Representations in Rewriting Logic Semantics Definitions
- 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
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs
- A rewriting logic approach to operational semantics (extended abstract)
- One-Path Reachability Logic
- A trusted mechanised JavaScript specification
This page was built for software: JavaFAN