The rewriting logic semantics project: a progress report
From MaRDI portal
Publication:393080
DOI10.1016/j.ic.2013.08.004zbMath1435.68188OpenAlexW1990687394MaRDI QIDQ393080
Publication date: 16 January 2014
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2013.08.004
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Weak Bisimulation as a Congruence in MSOS, Programming and symbolic computation in Maude, Localized Operational Termination in General Logics, Executable rewriting logic semantics of Orc and formal analysis of Orc programs
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maude
- Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
- Two case studies of semantics execution in Maude: CCS and LOTOS
- The rewriting logic semantics project
- Semantics and pragmatics of real-time maude
- A timed semantics of Orc
- An algebraic semantics for MOF
- An overview of the K semantic framework
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- A rewriting logic approach to operational semantics
- First-order identities as a defining language
- Conditional rewriting logic as a unified model of concurrency
- The chemical abstract machine
- A syntactic approach to type soundness
- Specification of real-time and hybrid systems in rewriting logic
- Equational rules for rewriting logic
- A formal approach to object-oriented software engineering
- Modular structural operational semantics
- A structural approach to operational semantics
- Handbook of philosophical logic. Vol. 9
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- Executable structural operational semantics in Maude
- Semantic foundations for generalized rewrite theories
- Mechanized semantics for the clight subset of the C language
- Language Prototyping: An Algebraic Specification Approach
- A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis
- Partial Order Reduction for Rewriting Semantics of Programming Languages
- A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
- A Truly Concurrent Semantics for the $\mathbb{K}$ Framework Based on Graph Transformations
- Abstract Certification of Global Non-interference in Rewriting Logic
- Matching Logic: An Alternative to Hoare/Floyd Logic
- Mapping Modular SOS to Rewriting Logic
- The Rewriting Logic Semantics Project: A Progress Report
- Towards a Unified Theory of Operational and Axiomatic Semantics
- A Rewriting Logic Approach to Type Inference
- Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm
- Representing and Reasoning with Operational Semantics
- On the algebraic definition of programming languages
- A framework for defining logics
- From Hoare Logic to Matching Logic Reachability
- Evolving Algebras 1993: Lipari Guide
- Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits
- On the Behavioral Semantics of Real-Time Domain Specific Visual Languages
- Unified Algebras and action semantics
- Automated Reasoning
- Computer Aided Verification
- Algebraic Methodology and Software Technology
- Algebraic Methodology and Software Technology
- Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics
- vlogsl: A Strategy Language for Simulation-Based Verification of Hardware
- Theoretical Aspects of Computing – ICTAC 2005
- An efficient machine-independent procedure for garbage collection in various list structures
- Hybrid Systems: Computation and Control
- Computer Aided Verification
- Rewriting logic as a semantic framework for concurrency: a progress report
