The rewriting logic semantics project
From MaRDI portal
Publication:877024
DOI10.1016/J.TCS.2006.12.018zbMATH Open1111.68068OpenAlexW2139760036MaRDI QIDQ877024FDOQ877024
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
- Computer Aided Verification
- 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 (34)
- The rewriting logic semantics project: a progress report
- Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
- Theoretical Aspects of Computing – ICTAC 2005
- Twenty years of rewriting logic
- An algebraic semantics for MOF
- A rewriting logic approach to operational semantics
- Rewriting semantics of production rule sets
- Title not available (Why is that?)
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- 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
- A rewriting semantics for ABEL with applications to hardware/software co-design and analysis
- Programming and symbolic computation in Maude
- Abstract Certification of Global Non-interference in Rewriting Logic
- Matching Logic: An Alternative to Hoare/Floyd Logic
- The Rewriting Logic Semantics Project: A Progress Report
- Memory Policy Analysis for Semantics Specifications in Maude
- A Rewriting Logic Approach to Type Inference
- Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar
- José Meseguer: Scientist and Friend Extraordinaire
- Hierarchical Design Rewriting with Maude
- An overview of the K semantic framework
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs
- A formal library of set relations and its application to synchronous languages
- Formalization and analysis of the post-quantum signature scheme FALCON with Maude
- From Grammars and Automata to Algebras and Coalgebras
- A Non-Deterministic Multiset Query Language
- A Maude environment for CafeOBJ
- A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting
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)
