Zobrazeno 1 - 10
of 84 769
pro vyhledávání: '"type system"'
Autor:
Lund, Nicky Ask, Hüttel, Hans
Publikováno v:
EPTCS 410, 2024, pp. 116-132
ReScript is a strongly typed language that targets JavaScript, as an alternative to gradually typed languages, such as TypeScript. In this paper, we present a sound type system for data-flow analysis for a subset of the ReScript language, more specif
Externí odkaz:
http://arxiv.org/abs/2410.23984
Autor:
Bennetzen, Benjamin, Kleist, Daniel Vang, Steinmann, Emilie Sonne, Walsted, Loke, Kristensen, Nikolaj Rossander, Steffensen, Peter Buus
Protecting confidential data from leaking is a critical challenge in computer systems, particularly given the growing number of observers on the internet. Therefore, limiting information flow using robust security policies becomes increasingly vital.
Externí odkaz:
http://arxiv.org/abs/2410.18157
Eclipsing Algol-type systems containing a $\delta$ Scuti (hereafter $\delta$ Sct) star enable precise determination of physical parameters and the investigation of stellar internal structure and evolution. We present the absolute parameters of CZ Aqu
Externí odkaz:
http://arxiv.org/abs/2411.06803
Autor:
Southworth, John
MU Cas is a detached eclipsing binary containing two B5 V stars in an orbit of period 9.653 d and eccentricity 0.192, which has been observed in seven sectors using the Transiting Exoplanet Survey Satellite (TESS). We use these new light curves toget
Externí odkaz:
http://arxiv.org/abs/2410.23011
Autor:
Southworth, John
IQ Per is a totally-eclipsing binary system containing a B8 V star and an A6 V star in an orbit of period 1.744 d with eccentricity and apsidal motion. We use new light curves from the Transiting Exoplanet Survey Satellite (TESS) and published spectr
Externí odkaz:
http://arxiv.org/abs/2410.23010
Soundness of a type system is a fundemental property that guarantees that no operation that is not supported by a value will be performed on that value at run time. A type checker for a sound type system is expected to issue a warning on every type e
Externí odkaz:
http://arxiv.org/abs/2408.10804
Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
Autor:
Kura, Satoshi, Unno, Hiroshi
Verification of higher-order probabilistic programs is a challenging problem. We present a verification method that supports several quantitative properties of higher-order probabilistic programs. Usually, extending verification methods to handle the
Externí odkaz:
http://arxiv.org/abs/2407.02975
Autor:
Kalousek, Martin, Nečasová, Šárka
In this paper, a dissipative version of a compressible one velocity Baer--Nunziato type system for a mixture of two compressible heat conducting gases is considered. The complete existence proof for weak solutions to this system was addressed as an o
Externí odkaz:
http://arxiv.org/abs/2406.08383
Autor:
Castagna, Giuseppe, Duboc, Guillaume
We define several techniques to extend gradual typing with semantic subtyping, specifically targeting dynamic languages. Focusing on the Elixir programming language, we provide the theoretical foundations for its type system. Our approach demonstrate
Externí odkaz:
http://arxiv.org/abs/2408.14345