Mоlimо vаs kоristitе оvај idеntifikаtоr zа citirаnjе ili оvај link dо оvе stаvkе:
https://open.uns.ac.rs/handle/123456789/2523
Nаziv: | Some aspects about coalgebras as foundation for expressing the semantics of imperative languages | Аutоri: | Steingartner W. Novitzká V. Eldojali M. Radaković, Davorka |
Dаtum izdаvаnjа: | 1-јан-2016 | Čаsоpis: | CEUR Workshop Proceedings | Sažetak: | Copyright by the paper’s authors. The semantics of programs written in some languages is concerned with the interpretation in various types of models. Denotational semantics expresses the meaning of programs by functions from syntactical domains to semantic domains which can be non-trivial mathematical structures. On the other hand, structural operational semantics describes the program behaviour in the form of states’ changes caused by the execution of elementary steps. We present in this paper categorical representation of denotational semantics in category of states as objects and semantic functions as morphisms. We present also categorical representation of structural operational semantics in category as a transition system where states are objects and morphisms are elementary transitions. We also sketch how to define endofunctor on the category of states and how to construct a Q-coalgebra of the functor. | URI: | https://open.uns.ac.rs/handle/123456789/2523 | ISSN: | 16130073 |
Nаlаzi sе u kоlеkciјаmа: | PMF Publikacije/Publications |
Prikаzаti cеlоkupаn zаpis stаvki
Prеglеd/i stаnicа
18
Prоtеklа nеdеljа
17
17
Prоtеkli mеsеc
0
0
prоvеrеnо 03.05.2024.
Google ScholarTM
Prоvеritе
Stаvkе nа DSpace-u su zаštićеnе аutоrskim prаvimа, sа svim prаvimа zаdržаnim, оsim аkо nije drugačije naznačeno.