Results 91 to 100 of about 188,404 (207)
Operational Semantics of Hybrid Systems [PDF]
, 2005 Hybrid systems are heterogeneous systems that include continuous-time (CT) subsystems interacting with discrete-event (DE) subsystems. They are effective models for physical systems interacting with software or experiencing discrete mode changes. This dissertation discusses an interpretation of hybrid systems as executable programs written in a ...
Lee, E A, Zheng, H Y
openaire +2 more sources
A semantics for while with break, continue and goto
CLEI Electronic Journal, 2018 This work presents a formal description of a subset of a C-likelanguage in the form of an operational semantics. We give semantics to the following statements (presented in alphabetical order) : assig- nation, break, composition, continue, goto, if, skip
Patricia Peratto
doaj +1 more source
, 2001 We define a small step operational semantics for a core of Haskell. We modify this semantics to generate traces, specifically Augmented Redex Trails. This small and direct definition of Augmented Redex Trails shall improve our understanding of them and ...
Chitil, Olaf
core
Programming Language Semantics using Miranda [PDF]
, 1995 This paper explains the use of the functional programming language Miranda as a vehicle for describing the semantics of imperative programming languages.
Simon Thompson, Thompson, Simon
core
Categorical model of structural operational semantics for imperative language
Journal of Information and Organizational Sciences, 2016 Definition of programming languages consists of the formal definition of syntax and semantics. One of the most popular semantic methods used in various stages of software engineering is structural operational semantics.
William Steingartner, Valerie Novitzká
doaj
Visualizing the semantics of gradual languages with Gredex
SoftwareXWe present Gredex, an interactive tool to visually explore the static and dynamic semantics of gradually-typed programming languages. Gredex supports a core gradual language with numbers, booleans, functions, pairs, sums, and fixpoints.
Matías Toro, Éric Tanter
doaj +1 more source
Adequacy of compositional translations for observational semantics
, 2008 We investigate methods and tools for analysing translations between programming languages with respect to observational semantics. The behaviour of programs is observed in terms of may- and must-convergence in arbitrary contexts, and adequacy of ...
Sabel, David +7 more
core
A symbolic semantics for a clculus for service-oriented computing
, 2009 We introduce a symbolic characterisation of the operational semantics of COWS, a formal language for specifying and combining service-oriented applications, while modelling their dynamic behaviour.
N. Yoshida +4 more
core +1 more source
C Program Verication in the Multilanguage System Spectrum
Моделирование и анализ информационных систем, 2010 This paper presents the expendable multi-language analysis and verication system SPECTRUM, which is being developed within the framework of the project SPEC- TRUM. The project prospects are discussed using the example of C program verication. The project
V. A. Nepomniashy +5 more
doaj
Operational Semantics for Declarative Networking [PDF]
, 2008 Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a computer network. It has already been used to implement various networked systems, e.g., network overlays, Byzantine fault tolerance protocols, and distributed hash tables ...
Navarro Perez, J., Rybalchenko, A.
openaire +2 more sources