Results 21 to 30 of about 5,309 (287)
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
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
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
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
Denotational and operational semantics for prolog [PDF]
The Journal of Logic Programming, 1988 The semantics of PROLOG programs is usually given in terms of the model theory of first-order logic. However, this does not adequately characterize the computational behavior of PROLOG programs. PROLOG implementations typically use a sequential evaluation strategy based on the textual order of clauses and literals in a program, as well as nonlogical ...
Prateek Mishra, Saumya K. Debray
openaire +1 more source
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
From algebra to operational semantics [PDF]
Information Processing Letters, 1993 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
He, J, Hoare, C
openaire +4 more sources
Structural Operational Semantics
BRICS Report Series, 1999 The importance of giving precise semantics to programming and specification<br />languages was recognized since the sixties with the development of the<br />first high-level programming languages (cf. e.g. [30, 206] for some early accounts).<br />The use of operational semantics - i.e.
Aceto, Luca, Fokkink, J., Verhoef, C.
openaire +4 more sources
Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces [PDF]
Scientific Annals of Computer Science, 2014 In this paper we use finite vector spaces (finite dimension, over finite fields) as a non-standard computational model of linear logic. We first define a simple, finite PCF-like lambda-calculus with booleans, and then we discuss two finite models, one ...
B. Valiron, S. Zdancewic
doaj +1 more source