Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Barrière, Aurèle"'
We present an executable, proven-safe, faithful, and future-proof Coq mechanization of JavaScript regular expression (regex) matching, as specified by the latest published edition of ECMA-262 section 22.2. This is, to our knowledge, the first time th
Externí odkaz:
http://arxiv.org/abs/2403.11919
Autor:
Barrière, Aurèle, Pit-Claudel, Clément
Modern regex languages have strayed far from well-understood traditional regular expressions: they include features that fundamentally transform the matching problem. In exchange for these features, modern regex engines at times suffer from exponenti
Externí odkaz:
http://arxiv.org/abs/2311.17620
Modern Just-in-Time compilers (or JITs) typically interleave several mechanisms to execute a program. For faster startup times and to observe the initial behavior of an execution, interpretation can be initially used. But after a while, JITs dynamica
Externí odkaz:
http://arxiv.org/abs/2212.03129
We study dynamic changes of agents' observational power in logics of knowledge and time. We consider CTL*K, the extension of CTL* with knowledge operators, and enrich it with a new operator that models a change in an agent's way of observing the syst
Externí odkaz:
http://arxiv.org/abs/1805.06881