Generalized Rewrite Theories

Abstract

Since its introduction, more than a decade ago, rewriting logic has attracted the interest of both theorists and practitioners, who have contributed in showing its generality as a semantic and logical framework and also as a programming paradigm. The experimentation conducted in these years has suggested that some significant extensions to the original… (More)
DOI: 10.1007/3-540-45061-0_22

2 Figures and Tables

Topics

  • Presentations referencing similar topics