Algebraic Methodology and Software Technology
From MaRDI portal
Publication:5312976
DOI10.1007/b98770zbMath1108.68382MaRDI QIDQ5312976
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
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Memory Representations in Rewriting Logic Semantics Definitions, Memory Policy Analysis for Semantics Specifications in Maude, JavaFAN, The rewriting logic semantics project: a progress report, The rewriting logic semantics project, A rewriting logic approach to operational semantics, Twenty years of rewriting logic, Executable rewriting logic semantics of Orc and formal analysis of Orc programs, Partial Order Reduction for Rewriting Semantics of Programming Languages, Animating the Formalised Semantics of a Java-Like Language, The Rewriting Logic Semantics Project: A Progress Report
Uses Software