↓ Skip to main content
What is this page? Embed badge

Rewriting Logic and Its Applications

Overview of attention for book
Cover of 'Rewriting Logic and Its Applications'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Composition of Graph-Transformation-Based DSL Definitions by Amalgamation
  3. Altmetric Badge
    Chapter 2 Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?
  4. Altmetric Badge
    Chapter 3 Real-Time Maude and Its Applications
  5. Altmetric Badge
    Chapter 4 Conditional Narrowing Modulo in Rewriting Logic and Maude
  6. Altmetric Badge
    Chapter 5 Language Definitions as Rewrite Theories
  7. Altmetric Badge
    Chapter 6 Infinite-State Model Checking of LTLR Formulas Using Narrowing
  8. Altmetric Badge
    Chapter 7 Modelling and Verifying Contract-Oriented Systems in Maude
  9. Altmetric Badge
    Chapter 8 Towards Static Analysis of Functional Programs Using Tree Automata Completion
  10. Altmetric Badge
    Chapter 9 A Framework for Mobile Ad hoc Networks in Real-Time Maude
  11. Altmetric Badge
    Chapter 10 Strong and weak operational termination of order-sorted rewrite theories
  12. Altmetric Badge
    Chapter 11 2D Dependency Pairs for Proving Operational Termination of CTRSs
  13. Altmetric Badge
    Chapter 12 FunKons: Component-Based Semantics in K
  14. Altmetric Badge
    Chapter 13 An Integration of CafeOBJ into Full Maude
  15. Altmetric Badge
    Chapter 14 Rewriting Modulo SMT and Open System Analysis
  16. Altmetric Badge
    Chapter 15 Formal Specification of Button-Related Fault-Tolerance Micropatterns
  17. Altmetric Badge
    Chapter 16 A Formal Semantics of the OSEK/VDX Standard in $${\mathbb {K}}$$ Framework and Its Applications
Attention for Chapter 13: An Integration of CafeOBJ into Full Maude
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
An Integration of CafeOBJ into Full Maude
Chapter number 13
Book title
Rewriting Logic and Its Applications
Published by
Springer, Cham, April 2014
DOI 10.1007/978-3-319-12904-4_13
Book ISBNs
978-3-31-912903-7, 978-3-31-912904-4
Authors

Adrián Riesco

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 1 100%
Readers by discipline Count As %
Unknown 1 100%

This page is provided by Altmetric.