Algebraic Methodology and Software Technology
From MaRDI portal
Publication:5312976
DOI10.1007/B98770zbMATH Open1108.68382OpenAlexW2973096144MaRDI QIDQ5312976FDOQ5312976
Authors: Azadeh Farzan, José Meseguer, Grigore Roşu
Publication date: 25 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98770
Recommendations
Cited In (16)
- The rewriting logic semantics project: a progress report
- The rewriting logic semantics project: a progress report
- Formalization and analysis of class loading in Java
- Twenty years of rewriting logic
- The rewriting logic semantics project
- A rewriting logic approach to operational semantics
- Computer Aided Verification
- Tools and Algorithms for the Construction and Analysis of Systems
- JavaFAN
- Partial order reduction for rewriting semantics of programming languages
- Formal approach to derivation of concurrent implementations in software product lines
- Memory Policy Analysis for Semantics Specifications in Maude
- Memory Representations in Rewriting Logic Semantics Definitions
- Executable JVM model for analytical reasoning: A study
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs
- Animating the formalised semantics of a Java-like language
Uses Software
This page was built for publication: Algebraic Methodology and Software Technology
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5312976)