|
|||||
|
|
A syntactic commutativity format for SOS |
|
| Authors: | MohammadReza Mousavi Michel Reniers Jan Friso Groote |
| Affiliation: | Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands |
| Abstract: | Considering operators defined using Structural Operational Semantics (SOS), commutativity axioms are intuitive properties that hold for many of them. Proving this intuition is usually a laborious task, requiring several pages of boring and standard proof. To save this effort, we propose a syntactic SOS format which guarantees commutativity for a set of composition operators. |
| Keywords: | Formal semantics Structural Operational Semantics (SOS) Standard SOS formats Commutativity |
| 本文献已被 ScienceDirect 等数据库收录！ | |