The Rewriting Logic Semantics Project: A Progress Report
From MaRDI portal
Publication:3088267
DOI10.1007/978-3-642-22953-4_1zbMath1342.68198OpenAlexW197556432MaRDI QIDQ3088267
Publication date: 19 August 2011
Published in: Fundamentals of Computation Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22953-4_1
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 (6)
Expression-Based Aliasing for OO–languages ⋮ José Meseguer: Scientist and Friend Extraordinaire ⋮ The rewriting logic semantics project: a progress report ⋮ Twenty years of rewriting logic ⋮ An operational semantics for object-oriented concepts based on the class hierarchy ⋮ 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
- 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
- The origins of structural operational semantics
- Modular structural operational semantics
- 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
- Abstract Certification of Global Non-interference in Rewriting Logic
- Matching Logic: An Alternative to Hoare/Floyd Logic
- Mapping Modular SOS to Rewriting Logic
- A Rewriting Logic Approach to Type Inference
- Representing and Reasoning with Operational Semantics
- On the algebraic definition of programming languages
- A framework for defining logics
- Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits
- On the Behavioral Semantics of Real-Time Domain Specific Visual Languages
- 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
This page was built for publication: The Rewriting Logic Semantics Project: A Progress Report