Results 21 to 30 of about 188,404 (207)
A Coalgebraic Semantics for Imperative Programming Languages [PDF]
, 2014 In the theory of programming languages, one often takes two complementary perspectives. In operational semantics, one defines and reasons about the behaviour of programs; and in denotational semantics, one abstracts away implementation details, and ...
Abou-Saleh, Faris
core +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
An Operational Semantics for JavaScript [PDF]
, 2008 We de ne a small-step operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and mashups. The semantics is based on the language standard and a number of experiments with di erent implementations and browsers.
Sergio Maffeis +2 more
openaire +2 more sources
A generic operational metatheory for algebraic effects [PDF]
, 2010 We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of algebraic effects, and incorporates, as instances: errors, input/output, global ...
Simpson, Alex +6 more
core +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
Basic Core Fuzzy Logics and Algebraic Routley–Meyer-Style Semantics
Axioms, 2021 Recently, algebraic Routley–Meyer-style semantics was introduced for basic substructural logics. This paper extends it to fuzzy logics. First, we recall the basic substructural core fuzzy logic MIAL (Mianorm logic) and its axiomatic extensions, together ...
Eunsuk Yang
doaj +1 more source
Operational semantics of proto
Science of Computer Programming, 2013 The Proto spatial computing language in Beal and Bachrach (2006) [1] simplifies the creation of scalable, robust, distributed programs by abstracting a network of locally communicating devices as a continuous geometric manifold. However, Proto's successful application in a number of domains is challenging its coherence across different platforms and ...
Mirko Viroli, Jacob Beal, Kyle Usbeck
openaire +2 more sources
Taverna Workflows: Syntax and Semantics [PDF]
, 2007 This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community.
De Roure, David +15 more
core +1 more source
Functional Big-step Semantics [PDF]
, 2016 When doing an interactive proof about a piece of software, it is important that the underlying programming language’s semantics does not make the proof unnecessarily difficult or unwieldy.
Kumar, R., +14 more
core +1 more source
piHyFlow Operational Semantics
CoRR, 2023 Simulation models have been described using different perspectives, or worldviews. In the process interaction world view (PI), every entity is modeled by a sequence of actions describing its life cycle, offering a comprehensive model that groups the events involving each entity.
openaire +2 more sources