On implementing behavioral rewriting

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Behavioral specification is an important algebraic method in software technology. A subtle aspect of behavioral specification is that operations may not be compatible with the behavioral (or observational) equivalence, meaning that the typical congruence inference rule may not be sound and, implicitly, that standard term rewriting cannot be used as is to execute behavioral specifications. Behavioral rewriting is an appropriate generalization of term rewriting which is already internally implemented in two behavioral specification and verification systems, CafeOBJ and BOBJ. In this paper we propose two alternative solutions to implement behavioral rewriting, on top of almost any standard term rewriting system, without modifying it internally.

Original languageEnglish (US)
Title of host publicationProceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming
PublisherAssociation for Computing Machinery (ACM)
Pages43-51
Number of pages9
ISBN (Print)1581136064, 9781581136067
StatePublished - Jan 1 2002
Externally publishedYes
EventProceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming (RULE'02) - Pittsburgh, PA, United States
Duration: Oct 5 2002Oct 5 2002

Publication series

NameProceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming

Other

OtherProceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming (RULE'02)
CountryUnited States
CityPittsburgh, PA
Period10/5/0210/5/02

Keywords

  • Behavioral rewriting
  • Hidden equational logic
  • Meta-programming
  • Term rewriting

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'On implementing behavioral rewriting'. Together they form a unique fingerprint.

  • Cite this

    Roşu, G. (2002). On implementing behavioral rewriting. In Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming (pp. 43-51). (Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming). Association for Computing Machinery (ACM).