Pages that link to "Item:Q5312976"
From MaRDI portal
The following pages link to Algebraic Methodology and Software Technology (Q5312976):
Displaying 16 items.
- JavaFAN (Q14483) (← links)
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Formalization and analysis of class loading in Java (Q1850957) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Integrating formal specifications into applications: the ProB Java API (Q2147695) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- Executable JVM model for analytical reasoning: A study (Q2566223) (← links)
- Partial order reduction for rewriting semantics of programming languages (Q2873775) (← links)
- Animating the Formalised Semantics of a Java-Like Language (Q3088008) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- Memory Representations in Rewriting Logic Semantics Definitions (Q5179135) (← links)
- Computer Aided Verification (Q5312939) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703785) (← links)
- Memory Policy Analysis for Semantics Specifications in Maude (Q5743600) (← links)