Zobrazeno 1 - 10
of 40 172
pro vyhledávání: '"Bruce, M"'
Separation logic is a substructural logic which has proved to have numerous and fruitful applications to the verification of programs working on dynamic data structures. Recently, Barthe, Hsu and Liao have proposed a new way of giving semantics to se
Externí odkaz:
http://arxiv.org/abs/2405.11987
In this contribution, we address the numerical solutions of high-order asymptotic equivalent partial differential equations with the results of a lattice Boltzmann scheme for an inhomogeneous advection problem in one spatial dimension. We first deriv
Externí odkaz:
http://arxiv.org/abs/2403.19231
In automated complexity analysis, noninterference-based type systems statically guarantee, via soundness, the property that well-typed programs compute functions of a given complexity class, e.g., the class FP of functions computable in polynomial ti
Externí odkaz:
http://arxiv.org/abs/2401.14957