Results 21 to 30 of about 4,882 (287)
Typed Operational Semantics for Dependent Record Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Typed operational semantics is a method developed by H. Goguen to prove meta-theoretic properties of type systems. This paper studies the metatheory of a type system with dependent record types, using the approach of typed operational semantics.
Yangyue Feng, Zhaohui Luo
doaj +1 more source
An Operational Semantics for Stateflow [PDF]
International Journal on Software Tools for Technology Transfer, 2004 We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of embedded systems. Stateflow has many tricky features but our operational treatment yields a surprisingly simple semantics for the subset that is generally recommended for ...
John Rushby, Gregoire Hamon
openaire +2 more sources
Relaxed Operational Semantics of Concurrent Programming Languages [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We propose a novel, operational framework to formally describe the semantics of concurrent programs running within the context of a relaxed memory model.
Gustavo Petri +2 more
doaj +1 more source
On Coevaluation Behavior and Equivalence
Mathematics, 2022 Coevaluation, the coinductive interpretation of standard big-step evaluation rules, is a concise form of semantics, with the same number of rules as in evaluation, which intends to simultaneously describe finite and infinite computations.
Angel Zúñiga, Gemma Bel-Enguix
doaj +1 more source
A Modular Structural Operational Semantics for Delimited Continuations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 It has been an open question as to whether the Modular Structural Operational Semantics framework can express the dynamic semantics of call/cc. This paper shows that it can, and furthermore, demonstrates that it can express the more general delimited ...
Neil Sculthorpe +2 more
doaj +1 more source
Information, 2020 Today, Android accounts for more than 80% of the global market share. Such a high rate makes Android applications an important topic that raises serious questions about its security, privacy, misbehavior and correctness.
Marwa Ziadia +3 more
doaj +1 more source
Syntax and Semantics for Operations with Scopes [PDF]
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018 Motivated by the problem of separating syntax from semantics in programming with algebraic effects and handlers, we propose a categorical model of abstract syntax with so-called scoped operations. As a building block of a term, a scoped operation is not merely a node in a tree, as it can also encompass a whole part of the term (a scope).
Piróg, Maciej +3 more
openaire +4 more sources
Operational Semantics of Annotated Reflex Programs
Моделирование и анализ информационных систем, 2019 Reflex is a process-oriented language that provides a design of easy-to-maintain control software for programmable logic controllers. The language has been successfully used in a several reliability critical control systems, e. g.
Igor S. Anureev
doaj +1 more source
An Operational Petri Net Semantics for the Join-Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We present a concurrent operational Petri net semantics for the join-calculus, a process calculus for specifying concurrent and distributed systems. There often is a gap between system specifications and the actual implementations caused by synchrony ...
Stephan Mennicke
doaj +1 more source
Sequential Composition in the Presence of Intermediate Termination (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 The standard operational semantics of the sequential composition operator gives rise to unbounded branching and forgetfulness when transparent process expressions are put in sequence.
Jos Baeten, Bas Luttik, Fei Yang
doaj +1 more source