Action and Change in Rewriting Logic (1996)
| Citations: | 10 - 4 self |
BibTeX
@MISC{Martí-Oliet96actionand,
author = {Narciso Martí-Oliet and José Meseguer},
title = {Action and Change in Rewriting Logic},
year = {1996}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Rewriting logic is proposed as a logic of concurrent action and change that solves the frame problem and that subsumes and unifies a number of previous logics of change, including linear logic and Horn logic with equality. Rewriting logic can represent action and change with great flexibility and generality; this flexibility is illustrated by many examples, including examples that show how concurrent object-oriented systems are naturally represented. In addition, rewriting logic has a simple formalism, with only a few rules of deduction; it supports user-definable logical connectives, which can be chosen to fit the problem at hand; it is intrinsically concurrent; and it is realizable in a wide spectrum logical language (Maude and its MaudeLog extension) supporting executable specification and programming. Contents 1 Introduction 2 1.1 What the frame problem (in our sense) is . . . . . . . . . . . . . . . . . . . . . . . 2 1.2 What the frame problem (in our sense) is not . . . . . . ....
