Diagrams for Meaning Preservation

Abstract

This paper presents an abstract framework and multiple diagram-based methods for proving meaning preservation, i.e., that all rewrite steps of a rewriting system preserve the meaning given by an operational semantics based on a rewriting strategy. While previous rewriting-based methods have generally needed the treated rewriting system as a whole to have… (More)
DOI: 10.1007/3-540-44881-0_8

Topics

  • Presentations referencing similar topics