- Opin vísindi
- →
- Fletta eftir efnisorði
JavaScript is disabled for your browser. Some features of this site may not work without it.
Fletta eftir efnisorði "Semantics"
Atriði 1-5 af 5
-
(Háskólinn í Reykjavík, 2012-12-09)Structural Operational Semantics (SOS) is one of the most natural ways for providing programming languages with a formal semantics. Results on the meta-theory of SOS typically (but not solely) say that if the inference rules used in writing the semantic ... -
(2019-10-14)The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition systems (NRTSs) that we introduce. We provide rule formats for the specifications ...
-
(The Árni Magnússon Institute for Icelandic Studies, 2019-08-15)Brent Berlin og Paul Kay ullu straumhvörfum í merkingarlegum rannsóknum á litaheitum með útgáfu bókar sinnar Basic Color Terms árið 1969. Fram að þeim tíma hafði verið talið að hvert mál hefði sína eigin hugtakaskiptingu, og í sambandi við litaheiti ...
-
(2022-10-17)Concurrency as a phenomenon is observed in most of the current computer science trends. However the inherent complexity of analyzing the behavior of such a system is incremented due to the many different models of concurrency, the variety of applications ...
-
(Springer, 2022-10-03)We propose a new type system for WebAssembly. It is a refinement of the type system from the language specification and is based on type qualifiers and subtyping. In the WebAssembly specification, a typable instruction sequence gets many different ...
Atriði 1-5 af 5