Sökning: WFRF:(Ingólfsdóttir Anna) >
Exploiting Algebrai...
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations
-
- Aceto, Luca (författare)
- ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
-
- Goriac, Eugen-Ioan (författare)
- ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
-
- Ingolfsdottir, Anna (författare)
- ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
-
visa fler...
-
- Mousavi, Mohammad Reza, 1978- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
- Reniers, Michel A. (författare)
- Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands
-
visa färre...
-
(creator_code:org_t)
- Berlin : Springer Berlin/Heidelberg, 2013
- 2013
- Engelska.
-
Ingår i: Algebra and Coalgebra in Computer Science. - Berlin : Springer Berlin/Heidelberg. - 9783642402067 - 9783642402050 ; , s. 36-50
- Relaterad länk:
-
https://hh.diva-port... (primary) (Raw object)
-
visa fler...
-
http://www.ru.is/fac...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- In the field of structural operational semantics (SOS), there have been several proposals both for syntactic rule formats guaranteeing the validity of algebraic laws, and for algorithms for automatically generating ground-complete axiomatizations. However, there has been no synergy between these two types of results. This paper takes the first steps in marrying these two areas of research in the meta-theory of SOS and shows that taking algebraic laws into account in the mechanical generation of axiomatizations results in simpler axiomatizations. The proposed theory is applied to a paradigmatic example from the literature, showing that, in this case, the generated axiomatization coincides with a classic hand-crafted one. © 2013 Springer-Verlag Berlin Heidelberg.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- Process Algebra
- Structural Operational Semantics
- Bisimulation
- Ground Complete Axiomatization
- Algebraic Properties
- Rule Formats
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas