Results 91 to 100 of about 103,776 (269)

Visualizing the semantics of gradual languages with Gredex

SoftwareX
We 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

Structural operational semantics for stochastic and weighted transition systems

, 2013
We introduce weighted GSOS, a general syntactic framework to specify well-behaved transition systems where transitions are equipped with weights coming from a commutative monoid.
Aceto, Barr, Bartek Klin, Bartels, Bernardo, Bloom, Brookes, Cardelli, de Nicola, de Vink, Degano, Götz, Hermanns, Hillston, Hillston, Hillston, Klin, Klin, Klin, Larsen, Mac Lane, Milner, Moller, Park, Plotkin, Plotkin, Priami, Priami, Priami, Rutten, Sangiorgi, Turi, Vladimiro Sassone   +32 more
core   +2 more sources

Exploring the Inhomogeneous Nature of Li Intercalation and Li Plating on Graphite Anodes—An Experimental Study Combining Inert Gas High‐Resolution Light Microscopy with Colorimetric and Machine Learning‐Based Image Analysis

Advanced Energy and Sustainability Research, EarlyView.
Graphite anode lithiation and lithium plating are explored using high‐resolution light optical microscopy under inert gas atmosphere. Colorimetric analysis and machine learning reveal lithiation stages depending on C‐rate and state‐of‐charge. With increasing C‐rate, heterogeneity of lithiation increases, resulting in up to three phases coexisting in ...
Marius Bolsinger, Christian Weisenberger, Thomas Waldmann, Marc Kamlah, Volker Knoblauch   +4 more
wiley   +1 more source

OPERATIONAL SEMANTICS OF REFLEX [PDF]

, 2019
Igor Anureev
openalex   +1 more source

Structural Operational Semantics for Stochastic Process Calculi

, 2008
A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeterministic processes.
Klin, B., Sassone, V.
core   +2 more sources

Determining the influence of belonging to a wine protected designation of origin on profitability

Agribusiness, EarlyView.
Abstract To guide consumers, wineries need credible attributes about the quality of their wines and its origin. In Spain, protected designations of origin (PDO) guarantee that the wine has been produced in a certain wine region in accordance with specific and officially regulated quality criteria thus providing elements of guarantee to the consumer ...
Jordi Moreno Gené, Sònia Solé Puiggené, José Luis Gallizo Larraz   +2 more
wiley   +1 more source

Exploring consumption profiles, consumer experience and quality claims of Canary Islands' cider (Spain): A multidimensional analysis

Agribusiness, EarlyView.
Abstract The exponential expansion of the global cider market positions it as a viable alternative to traditional choices such as wine and beer. Nevertheless, there exists a paucity of research examining the various factors influencing consumer interest in cider.
Eva Parga Dans, Pablo Alonso González, Raimundo Otero Enríquez, María‐Pilar Sáenz Navajas   +3 more
wiley   +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, I. S. Anureev, M. M. Atuchin, I. V. Maryasov, A. A. Petrov, A. V. Promsky   +5 more
doaj  

Disentangling the relationships between denomination of origin regulatory councils activities and Spanish wineries' export performance

Agribusiness, EarlyView.
Abstract World markets for quality differentiated agri‐food products are highly competitive, presenting significant challenges for firms aiming to compete effectively. Government agencies and business organizations often implement various export promotion policies to address these challenges.
Nicolás Depetris‐Chauvin, Marta Fernández‐Olmos   +1 more
wiley   +1 more source

A complete proof of the safety of Nöcker's strictness analysis [PDF]

, 2005
This paper proves correctness of Nöcker's method of strictness analysis, implemented in the Clean compiler, which is an effective way for strictness analysis in lazy functional languages based on their operational semantics.
Sabel, David, Schmidt-Schauß, Manfred, Schütz, Marko   +2 more
core