The rewriting logic semantics project
From MaRDI portal
Publication:877024
Recommendations
Cites work
- scientific article; zbMATH DE number 1706329 (Why is no real title available?)
- scientific article; zbMATH DE number 1189278 (Why is no real title available?)
- scientific article; zbMATH DE number 3733229 (Why is no real title available?)
- scientific article; zbMATH DE number 49477 (Why is no real title available?)
- scientific article; zbMATH DE number 3529402 (Why is no real title available?)
- scientific article; zbMATH DE number 1042220 (Why is no real title available?)
- scientific article; zbMATH DE number 2043530 (Why is no real title available?)
- scientific article; zbMATH DE number 2038715 (Why is no real title available?)
- scientific article; zbMATH DE number 1418328 (Why is no real title available?)
- scientific article; zbMATH DE number 3423547 (Why is no real title available?)
- A rewrite framework for language definitions and for generation of efficient interpreters
- A rewriting semantics for ABEL with applications to hardware/software co-design and analysis
- A run-time environment for concurrent objects with asynchronous method calls
- A structural approach to operational semantics
- Algebraic Methodology and Software Technology
- Algebraic Methodology and Software Technology
- An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0
- Automated Reasoning
- Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics
- Certifying optimality of state estimation programs.
- Computer Aided Verification
- Conditional rewriting logic as a unified model of concurrency
- Equational rules for rewriting logic
- First-order identities as a defining language
- Functions as processes
- Initial Algebra Semantics and Continuous Algebras
- Maude versus Haskell: An experimental comparison in security protocol analysis
- Maude: specification and programming in rewriting logic
- Modular rewriting semantics in practice
- Modular structural operational semantics
- On the algebraic definition of programming languages
- Plan in Maude specifying an active network programming language
- Pragmatics of modular SOS
- Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types
- Specification and proof in membership equational logic
- State Space Reduction of Rewrite Theories Using Invisible Transitions
- The Maude LTL model checker
- The chemical abstract machine
- Two case studies of semantics execution in Maude: CCS and LOTOS
- Unified algebras and action semantics
Cited in
(41)- Formalization and analysis of the post-quantum signature scheme FALCON with Maude
- Logical approximation for program analysis
- A rewriting logic semantics approach to modular program analysis
- Memory representations in rewriting logic semantics definitions
- Rewriting logic semantics of a plan execution language
- The rewriting logic semantics project: a progress report
- The rewriting logic semantics project: a progress report
- An algebraic semantics for MOF
- Matching logic: an alternative to Hoare/Floyd logic
- Automated Reasoning
- José Meseguer: scientist and friend extraordinaire
- From grammars and automata to algebras and coalgebras
- A Non-Deterministic Multiset Query Language
- A compact fixpoint semantics for term rewriting systems
- Programming and symbolic computation in Maude
- A Rewriting Logic Approach to Type Inference
- Theoretical Aspects of Computing – ICTAC 2005
- A rewriting-based model checker for the linear temporal logic of rewriting
- Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar
- A rewriting logic approach to operational semantics
- scientific article; zbMATH DE number 1696903 (Why is no real title available?)
- scientific article; zbMATH DE number 569780 (Why is no real title available?)
- A rewriting semantics for ABEL with applications to hardware/software co-design and analysis
- A rewrite framework for language definitions and for generation of efficient interpreters
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- From rewriting logic, to programming language semantics, to program verification
- Abstract Certification of Global Non-interference in Rewriting Logic
- Rewriting semantics of production rule sets
- Hierarchical design rewriting with Maude
- A Maude environment for CafeOBJ
- Verifying Reachability-Logic Properties on Rewriting-Logic Specifications
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs
- A formal library of set relations and its application to synchronous languages
- The rewriting logic semantics project
- Graph-Based Design and Analysis of Dynamic Software Architectures
- Logical semantics for the rewriting calculus
- An overview of the K semantic framework
- Twenty years of rewriting logic
- A rewriting logic approach to operational semantics (extended abstract)
- Rewriting logic specification of membrane systems with promoters and inhibitors
- Memory policy analysis for semantics specifications in Maude
This page was built for publication: The rewriting logic semantics project
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q877024)
