Results 21 to 30 of about 103,776 (269)

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

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

A process algebra for synchronous concurrent constraint programming [PDF]

, 1996
Concurrent constraint programming is classically based on asynchronous communication via a shared store. This paper presents new version of the ask and tell primitives which features synchronicity.
Brim, L, Gilbert, D, Jacquet, JM, Kretinsky, M   +3 more
core   +4 more sources

Automatic C Program Verification Based on Mixed Axiomatic Semantics

Моделирование и анализ информационных систем, 2013
The development of the C-light project resulted in the application of new formalisms and implementation techniques which facilitate the verification process.
I. V. Maryasov, V. A. Nepomnyaschy, A. V. Promsky, D. A. Kondratyev   +3 more
doaj   +1 more source

Operational Improvements to Reduce the Climate Impact of Aviation—A Comparative Study from EU Project ClimOP

Applied Sciences, 2023
Aviation significantly contributes to anthropogenic radiative forcing with both CO2 and non-CO2 emissions. In contrast to technical advancements to mitigate the climate impact, operational measures can benefit from short implementation times and thus are
Zarah Lea Zengerling, Sara Dal Gesso, Florian Linke, Maximilian Clococeanu, Volker Gollnick, Patrick Peter, Sigrun Matthes, Baris Baspinar, Ibrahim Ozkol, Mahdi Noorafza, Paul Roling, Elena Branchini, Mattia Grampella, Carlo Abate, Alessandra Tedeschi   +14 more
doaj   +1 more source

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

Programming in logic without logic programming [PDF]

, 2015
In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initial ...
Kowalski, Robert, Sadri, Fariba
core   +3 more sources

Operational Semantics of Process Monitors

, 2017
CSPe is a specification language for runtime monitors that can directly express concurrency in a bottom-up manner that composes the system from simpler, interacting components.
A Roscoe, B Bloom, B Bloom, CAR Hoare, DP Attard, GD Plotkin, JC Mitchell, JF Groote, K Havelund, Y Yamagata   +9 more
core   +1 more source

Process Algebras [PDF]

, 2011
Process Algebras are mathematically rigorous languages with well defined semantics that permit describing and verifying properties of concurrent communicating systems.
De Nicola, Rocco
core   +1 more source

KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification

IEEE Access, 2019
Programmable logic controllers (PLCs) are special purpose computers designed to perform industrial automation tasks. They require highly reliable control programs, particularly when used in safetycritical systems such as nuclear power stations.
Yanhong Huang, Xiangxing Bu, Gang Zhu, Xin Ye, Xiaoran Zhu, Jianqi Shi   +5 more
doaj   +1 more source