Results 31 to 40 of about 4,882 (287)
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 +14 more
doaj +1 more source
Adaptive Structural Operational Semantics
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023 Software systems evolve more and more in complex and changing environments, often requiring runtime adaptation to best deliver their services. When self-adaptation is the main concern of the system, a manual implementation of the underlying feedback loop and trade-off analysis may be desirable.
Jouneaux, Gwendal +6 more
openaire +3 more sources
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
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
Operational Semantics for Secure Interoperation [PDF]
Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014 Modern software systems are commonly programmed in multiple languages. Research into the security and correctness of such multi-language programs has generally relied on static methods that check both the individual components as well as the interoperation between them.
Larmuseau A., Patrignani M., Clarke D.
openaire +3 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 +3 more
doaj +1 more source
An operational semantics for skeletons
, 2004 A major weakness of the current programming systems based on skeletons is that parallel semantics is usually provided in an informal way, thus preventing any formal comparison about program behavior. We describe a schema suitable for the description of both functional and parallel semantics of skeletal languages which is aimed at filling this gap.
ALDINUCCI, MARCO, Marco Danelutto
openaire +6 more sources
Operational Semantics for SPARQL Update [PDF]
, 2012 Concurrent fine grained updates are essential for using RDF stores in dynamic modern Web applications, where users increasingly contribute content as often as they read content. SPARQL Update is a language proposed by the W3C for fine grained updates for RDF stores.
Horne, Ross +2 more
openaire +4 more sources
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 +5 more
doaj +1 more source