Sökning: WFRF:(Mousavi Mohammad Reza 1978 ) >
On Rule Formats for...
On Rule Formats for Zero and Unit Elements
-
- Aceto, Luca (författare)
- ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
-
- Cimini, Matteo (författare)
- ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
-
- Ingólfsdóttir, Anna (författare)
- ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
-
visa fler...
-
- Mousavi, Mohammad Reza, 1978- (författare)
- Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands
-
- Reniers, Michael A. (författare)
- Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands
-
visa färre...
-
(creator_code:org_t)
- Eindhoven : Eindhoven University of Technology, 2010
- Engelska 34 s.
- Relaterad länk:
-
http://www.win.tue.n...
-
visa fler...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our design approach is also applied to reformulate an earlier rule format for unit elements developed by some of the authors. Examples of left and right zero, as well as unit, elements from the literature are shown to be checkable using the provided formats.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Publikations- och innehållstyp
- vet (ämneskategori)
- rap (ämneskategori)