Algebraic Methodology and Software Technology

DOI10.1007/B98770MaRDI QIDQ5312976zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Computer Aided Verification
• Automated Reasoning
• Executable JVM model for analytical reasoning: A study
• scientific article; zbMATH DE number 1670761
• K-Java: a complete semantics of Java

Cited in

(17)

• 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
• Memory representations in rewriting logic semantics definitions
• 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
• Integrating formal specifications into applications: the ProB Java API
• JavaFAN
• Partial order reduction for rewriting semantics of programming languages
• Formal approach to derivation of concurrent implementations in software product lines
• 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
• Memory policy analysis for semantics specifications in Maude

Describes a project that uses

Uses Software

• LOOP
• Maude
• JML
• SPIN

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)