SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Reniers Michel A.) "

Sökning: WFRF:(Reniers Michel A.)

  • Resultat 1-10 av 17
  • [1]2Nästa
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  • Mousavi, Mohammad Reza, 1978-, et al. (författare)
  • Timed-Gamma and Its Coordination Language
  • 2015
  • Ingår i: Nordic Journal of Computing. - Helsinki : University of Helsinki. - 1236-6064. ; 15:2, s. 75-111
  • Tidskriftsartikel (refereegranskat)abstract
    • <p>This paper proposes a theoretical framework for <em>separation of concerns</em> in the formal specification of reactive and real-time systems. This framework consists of the syntax and the semantics of three languages (and all meaningful combinations thereof) that each address a separate concern. The first language, <em>Gamma</em> (a variant of an existing language) is used to define the functionality of a system (by means of a set of basic data transformations). Our additions are a simple language of intervals specifying timing-properties of basic transformations and a language (called <em>Schedules</em>) for specifying the coordination of the basic <em>Gamma</em> transformations. Each of these languages formally models a separate aspect of a system and statements in these languages can be reused, changed or analyzed in their own right. Our key contribution is that we provide a formal framework in which different combinations of aspects have a well-defined semantics.</p>
  •  
3.
  • Aceto, Luca, et al. (författare)
  • A rule format for unit elements
  • 2010
  • Ingår i: SOFSEM 2010 : Theory and Practice of Computer Science: Proceedings. - Berlin : Springer Berlin/Heidelberg. - 978-3-642-11265-2 - 978-3-642-11266-9 ; s. 141-152
  • Konferensbidrag (refereegranskat)abstract
    • <p>This paper offers a meta-theorem for languages with a Structural Operational Semantics (SOS) in the style of Plotkin. Namely, it proposes a generic rule format for SOS guaranteeing that certain constants act as left- or right-unit elements for a set of binary operators. We show the generality of our format by applying it to a wide range of operators from the literature on process calculi.</p>
  •  
4.
  • Aceto, Luca, et al. (författare)
  • A Rule Format for Unit Elements
  • 2009
  • Ingår i: The Equational Logic of Parallel Processes. - Eindhoven : Eindhoven University of Technology.
  • Rapport (övrigt vetenskapligt)abstract
    • <p>This paper offers a meta-theorem for languages with a Structural Operational Semantics (SOS) in the style of Plotkin. Namely, it proposes a generic rule format for SOS guaranteeing that certain constants act as left- or right-unit elements for a set of binary operators. We show the generality of our format by applying it to a wide range of operators from the literature on process calculi.</p>
  •  
5.
  • Aceto, Luca, et al. (författare)
  • Exploiting Algebraic Laws to Improve Mechanized Axiomatizations
  • 2013
  • Ingår i: Meta-theory of Algebraic Process Theories. - Berlin : Springer Berlin/Heidelberg.
  • Konferensbidrag (refereegranskat)abstract
    • <p>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.</p>
  •  
6.
  • Aceto, Luca, et al. (författare)
  • Rule formats for determinism and idempotence
  • 2012
  • Ingår i: Science of Computer Programming. - 0167-6423. ; 77:7-8, s. 889-907
  • Tidskriftsartikel (refereegranskat)abstract
    • Determinism is a semantic property of (a fragment of) a language that specifies that a program cannot evolve operationally in several different ways. Idempotence is a property of binary composition operators requiring that the composition of two identical specifications or programs will result in a piece of specification or program that is equivalent to the original components. In this paper, we propose (related) meta-theorems for guaranteeing the determinism and idempotence of binary operators. These meta-theorems are formulated in terms of syntactic templates for operational semantics, called rule formats. In order to obtain a powerful rule format for idempotence, we make use of the determinism of certain transition relations in the definition of the format for idempotence. We show the applicability of our formats by applying them to various operational semantics from the literature.
  •  
7.
  • Aceto, Luca, et al. (författare)
  • Rule Formats for Determinism and Idempotence
  • 2012
  • Ingår i: Science of Computer Programming. - Amsterdam : Elsevier. - 0167-6423 .- 1872-7964. ; 77, s. 889-907
  • Tidskriftsartikel (refereegranskat)abstract
    • <p>Determinism is a semantic property of (a fragment of) a language that specifies that a program cannot evolve operationally in several different ways. Idempotence is a property of binary composition operators requiring that the composition of two identical specifications or programs will result in a piece of specification or program that is equivalent to the original components. In this paper, we propose (related) meta-theorems for guaranteeing the determinism and idempotence of binary operators. These meta-theorems are formulated in terms of syntactic templates for operational semantics, called rule formats. In order to obtain a powerful rule format for idempotence, we make use of the determinism of certain transition relations in the definition of the format for idempotence. We show the applicability of our formats by applying them to various operational semantics from the literature. © 2010 Elsevier B.V. All rights reserved.</p>
  •  
8.
  • Aceto, Luca, et al. (författare)
  • Rule Formats for Distributivity
  • 2012
  • Ingår i: Theoretical Computer Science. - 0304-3975 .- 1879-2294. ; 458, s. 1-28
  • Tidskriftsartikel (refereegranskat)abstract
    • <p>This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. Some conditions ensuring the invalidity of the left-distributivity law are also offered. © 2012 Elsevier B.V. All rights reserved.</p>
  •  
9.
  • Aceto, Luca, et al. (författare)
  • Rule Formats for Distributivity
  • 2011
  • Ingår i: Language and Automata Theory and Applications : 5th International Conference : Proceedings. - Heidelberg : Springer Berlin/Heidelberg. - 978-364221253-6 ; s. 79-90
  • Konferensbidrag (refereegranskat)abstract
    • <p>This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. © 2011 Springer-Verlag.</p>
  •  
10.
  • Aceto, Luca, et al. (författare)
  • SOS Rule Formats for Zero and Unit Elements
  • 2011
  • Ingår i: Theoretical Computer Science. - Amsterdam : Elsevier. - 0304-3975 .- 1879-2294. ; 412:28, s. 3045-3071
  • Tidskriftsartikel (refereegranskat)abstract
    • <p>This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain constants act as left or right unit/zero elements for a set of binary operators. Examples of left and right zero, as well as unit, elements from the literature are shown to fit the rule formats offered in this study. © 2011 Elsevier B.V. All rights reserved.</p>
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 17
  • [1]2Nästa
 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy