Results 41 to 50 of about 121,111 (294)

Implicit Propagation in Structural Operational Semantics

Electronic Notes in Theoretical Computer Science, 2009
AbstractIn contrast to a transition system specification in process algebra, a structural operational semantics (SOS) of a programming language usually involves auxiliary entities: stores, environments, etc. When specifying SOS rules, particular auxiliary entities often need to be propagated unchanged between premises and conclusions.
Mosses, Peter D., New, Mark J.
openaire   +2 more sources

Automata-based Static Analysis of XML Document Adaptation [PDF]

Electronic Proceedings in Theoretical Computer Science, 2012
The structure of an XML document can be optionally specified by means of XML Schema, thus enabling the exploitation of structural information for efficient document handling. Upon schema evolution, or when exchanging documents among different collections
Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini   +2 more
doaj   +1 more source

Prospective Life Cycle Assessment: Effect of Electricity Decarbonization in Building Sector

Energies, 2021
The building sector is responsible for 43% of France’s final energy consumption and is strongly associated with a high environmental impact due to its high consumption of energy and natural resources.
Leslie Ayagapin, Jean Philippe Praene, Doorgeshwaree Jaggeshar, Dinesh Surroop   +3 more
doaj   +1 more source

Exploiting labels in Structural Operational Semantics

Proceedings of the 2004 ACM symposium on Applied computing, 2004
Structural Operational Semantics (SOS) allows transitions to be labelled. This is fully exploited in SOS descriptions of concurrent systems, but usually not at all in conventional descriptions of sequential programming languages.<br /> <br />This paper shows how the use of labels can provide significantly simpler and more modular ...
openaire   +7 more sources

Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine [PDF]

Electronic Proceedings in Theoretical Computer Science, 2012
In this paper, we deal with the problem of implementing an abstract machine for a stochastic version of the Brane Calculus. Instead of defining an ad hoc abstract machine, we consider the generic stochastic abstract machine introduced by Lakin, Paulevé ...
Marino Miculan, Ilaria Sambarino
doaj   +1 more source

Structural operational semantics for stochastic and weighted transition systems

, 2013
We introduce weighted GSOS, a general syntactic framework to specify well-behaved transition systems where transitions are equipped with weights coming from a commutative monoid.
Aceto, Barr, Bartek Klin, Bartels, Bernardo, Bloom, Brookes, Cardelli, de Nicola, de Vink, Degano, Götz, Hermanns, Hillston, Hillston, Hillston, Klin, Klin, Klin, Larsen, Mac Lane, Milner, Moller, Park, Plotkin, Plotkin, Priami, Priami, Priami, Rutten, Sangiorgi, Turi, Vladimiro Sassone   +32 more
core   +2 more sources

Rewriting Logic Semantics of a Plan Execution Language [PDF]

, 2010
The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logic semantics of PLEXIL in Maude, a high-performance logical engine.
A. Verdejo, Bartek Klin, C. Rocha, Camilo Rocha, César Muñoz, D. Lucanu, G. Berry, G. D. Plotkin, G. Dowek, G. Dowek, Gilles Dowek, J. Meseguer, J. Meseguer, M. AlTurki, M. Clavel, N. Dershowitz, O. Tardieu, P. Caspi, P. Viry, Paweł Sobociński, R. Bruni, S. Owre, T. Estlin, T. Serbanuta, T. Serbanuta, V. Verna   +25 more
core   +4 more sources

Modular Structural Operational Semantics

BRICS Report Series, 2004
Modular SOS (MSOS) is a variant of conventional Structural Operational Semantics (SOS). Using MSOS, the transition rules for each construct of a programming language can be given incrementally, once and for all, and do not need reformulation when further constructs are added to the language. MSOS thus provides an exceptionally high degree of modularity
openaire   +5 more sources

Conservative Extension in Structural Operational Semantics

BRICS Report Series, 1999
<p>Structural operational semantics (SOS) [44] provides a framework to give<br />an operational semantics to programming and specification languages. In<br />particular, because of its intuitive appeal and flexibility, SOS has found considerable application in the study of the semantics of concurrent processes.
Verhoef, C., Aceto, L., Fokkink, W.J.
openaire   +5 more sources

Presenting Distributive Laws [PDF]

Logical Methods in Computer Science, 2015
Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgebra interaction. They proved to be important for solving systems of corecursive equations, for the specification of well-behaved structural operational ...
Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot   +3 more
doaj   +1 more source