The rewriting logic semantics project
From MaRDI portal
Publication:877024
DOI10.1016/J.TCS.2006.12.018zbMATH Open1111.68068OpenAlexW2139760036MaRDI QIDQ877024FDOQ877024
Authors: Grigore Roşu, José Meseguer 
Publication date: 19 April 2007
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2006.12.018
Recommendations
Cites Work
- Maude: specification and programming in rewriting logic
- Computer Aided Verification
- Algebraic Methodology and Software Technology
- Modular structural operational semantics
- A structural approach to operational semantics
- Functions as processes
- Initial Algebra Semantics and Continuous Algebras
- Title not available (Why is that?)
- The chemical abstract machine
- Conditional rewriting logic as a unified model of concurrency
- Equational rules for rewriting logic
- Modular rewriting semantics in practice
- The Maude LTL model checker
- An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0
- Title not available (Why is that?)
- First-order identities as a defining language
- A run-time environment for concurrent objects with asynchronous method calls
- Plan in Maude specifying an active network programming language
- 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
- On the algebraic definition of programming languages
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Unified algebras and action semantics
- Automated Reasoning
- Algebraic Methodology and Software Technology
- Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics
- Certifying optimality of state estimation programs.
- Two case studies of semantics execution in Maude: CCS and LOTOS
- Specification and proof in membership equational logic
- Title not available (Why is that?)
- Pragmatics of modular SOS
- Title not available (Why is that?)
- State Space Reduction of Rewrite Theories Using Invisible Transitions
- Title not available (Why is that?)
- Maude versus Haskell: An experimental comparison in security protocol analysis
- Title not available (Why is that?)
- Title not available (Why is that?)
- Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types
Cited In (41)
- A rewriting logic semantics approach to modular program analysis
- The rewriting logic semantics project: a progress report
- The rewriting logic semantics project: a progress report
- Theoretical Aspects of Computing – ICTAC 2005
- Twenty years of rewriting logic
- Rewriting logic semantics of a plan execution language
- Hierarchical design rewriting with Maude
- Memory representations in rewriting logic semantics definitions
- An algebraic semantics for MOF
- A rewriting logic approach to operational semantics
- Rewriting semantics of production rule sets
- Title not available (Why is that?)
- Matching logic: an alternative to Hoare/Floyd logic
- A rewriting-based model checker for the linear temporal logic of rewriting
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- The rewriting logic semantics project
- Rewriting logic specification of membrane systems with promoters and inhibitors
- Verifying Reachability-Logic Properties on Rewriting-Logic Specifications
- Graph-Based Design and Analysis of Dynamic Software Architectures
- Logical semantics for the rewriting calculus
- Title not available (Why is that?)
- A compact fixpoint semantics for term rewriting systems
- Logical approximation for program analysis
- Automated Reasoning
- From grammars and automata to algebras and coalgebras
- 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
- Programming and symbolic computation in Maude
- Abstract Certification of Global Non-interference in Rewriting Logic
- A Rewriting Logic Approach to Type Inference
- From rewriting logic, to programming language semantics, to program verification
- Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar
- An overview of the K semantic framework
- José Meseguer: scientist and friend extraordinaire
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs
- A formal library of set relations and its application to synchronous languages
- A rewriting logic approach to operational semantics (extended abstract)
- Formalization and analysis of the post-quantum signature scheme FALCON with Maude
- Memory policy analysis for semantics specifications in Maude
- A Non-Deterministic Multiset Query Language
- A Maude environment for CafeOBJ
Uses Software
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)
