Results 21 to 30 of about 57,646 (303)
The Semantics of Graph Programs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handling low-level data structures. The core of GP consists of four constructs: single-step
Detlef Plump, Sandra Steinert
doaj +1 more source
Adaptive Structural Operational Semantics
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023 Software systems evolve more and more in complex and changing environments, often requiring runtime adaptation to best deliver their services. When self-adaptation is the main concern of the system, a manual implementation of the underlying feedback loop and trade-off analysis may be desirable.
Jouneaux, Gwendal +6 more
openaire +3 more sources
An Operational Semantics of Graph Transformation Systems Using Symmetric Nets [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Graph transformation systems (GTS) have been successfully proposed as a general, theoretically sound model for concurrency. Petri nets (PN), on the other side, are a central and intuitive formalism for concurrent or distributed systems, well supported by
Lorenzo Capra
doaj +1 more source
Compositionality of Hennessy–Milner logic by structural operational semantics
Theoretical Computer Science, 2006 Wan J Fokkink, Rob Van Glabbeek
exaly +2 more sources
Structural operational semantics for Kernel Andorra Prolog [PDF]
, 1991 Kernel Andorra Prolog is a framework for nondeterministic concurrent constraint logic programming languages. Many languages, such as Prolog, GHC, Parlog, and Atomic Herbrand, can be seen as instances of this framework, by adding specific constraint systems and constraint operations, and optionally by imposing further restrictions on the language and ...
Seif Haridi, Catuscia Palamidessi
openalex +2 more sources
Structuring structural operational semantics
, 2005 Defining a formal (i.e., mathematical) semantics for computer languages is the first step towards developing rigorous techniques for reasoning about computerprograms and specifications in such a language. Structural Operational Semantics (SOS), introduced by Plotkin in 1981, has become a popular technique for defining formal semantics.
Mohammad Reza Mousavi
openalex +3 more sources
Compositionality of Approximate Bisimulation for Probabilistic Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Probabilistic transition system specifications using the rule format ntmuft-ntmuxt provide structural operational semantics for Segala-type systems and guarantee that probabilistic bisimilarity is a congruence.
Daniel Gebler, Simone Tini
doaj +1 more source
Meta SOS - A Maude Based SOS Meta-Theory Framework [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Meta SOS is a software framework designed to integrate the results from the meta-theory of structural operational semantics (SOS). These results include deriving semantic properties of language constructs just by syntactically analyzing their rule-based ...
Luca Aceto +2 more
doaj +1 more source
Structural Operational Semantics with First-Order Logic
Electronic Notes in Theoretical Computer Science, 2009 AbstractWe define a formalism for Structural Operational Semantics (SOS) with first-order-logic formulas as premises. It is shown that in most uses (including all practical uses) this formalism has the same expressivity as SOS without first-order logic. Furthermore, we give a congruence format for (strong) bisimilarity.
Muck van Weerdenburg, Michel Reniers
openalex +3 more sources
Energies, 2023 A piezoelectric energy harvester (PEH) transduces mechanical energy into electrical energy, which can be utilized as an energy source for self-powered or low-power devices. Therefore, maximizing the power of a PEH is a crucial design objective.
Taekyun Kim, Jihoon Kim, Tae Hee Lee
doaj +1 more source