Results 31 to 40 of about 889,414 (343)
Ethereum Smart Contract Bug Detection and Repair Approach Based on Regular Expressions, Program Instrumentation and Code Replacement [PDF]
Jisuanji kexue, 2021 As the largest blockchain platform supporting smart contracts,millions of smart contracts have been deployed on Ethereum.Since the deployed smart contracts cannot be modified even if the contracts contain bugs,it is critical for developers to eliminate ...
XIAO Feng, ZHANG Peng-cheng, LUO Xia-pu
doaj +1 more source
Forkable Regular Expressions [PDF]
, 2016 We consider forkable regular expressions, which enrich regular expressions with a fork operator, to establish a formal basis for static and dynamic analysis of the communication behavior of concurrent programs. We define a novel compositional semantics for forkable expressions, establish their fundamental properties, and define derivatives for them as ...
Sulzmann, Martin, Thiemann, Peter
openaire +3 more sources
Joining Extractions of Regular Expressions [PDF]
, 2017 Regular expressions with capture variables, also known as "regex formulas," extract relations of spans (interval positions) from text. These relations can be further manipulated via Relational Algebra as studied in the context of document spanners, Fagin
Freydenberger, Dominik D. +2 more
core +2 more sources
Rewriting of regular expressions and regular path queries [PDF]
Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, 1999 AbstractRecent work on semi-structured data has revitalized the interest in path queries, i.e., queries that ask for all pairs of objects in the database that are connected by a path conforming to a certain specification, in particular to a regular expression.
Diego Calvanese +3 more
openaire +4 more sources
Regular expressions as violin bowing patterns [PDF]
, 2012 String players spend a significant amount of practice time creating and learning bowings. These may be indicated in the music using up-bow and down-bow symbols, but those traditional notations do not capture the complex bowing patterns that are latent ...
Cordelia Hall +5 more
core +1 more source
Generation of regular expressions for automata by the integral of regular expressions [PDF]
The Computer Journal, 1972 In this paper, the integral of regular expressions is defined and its properties are presented— The concept of the integral is then applied to establishing an algorithm for generating the regular expression of an arbitrary finite automaton specified by its state diagram or flow table.
Stephen S. Yau, L. W. Smith
openaire +2 more sources
Helping tools for the regular expression author for test questions in LMS Moodle
Открытое образование (Москва), 2016 Composing regular expressions for test questions is often a difficult thing for the teachers; so many teachers avoid using regular expression questions. Similar problems hinder students learning regular expressions as a part of computer science.
O. A. Sychev, G. V. Terehov
doaj +1 more source
Determinization and Minimization of Automata for Nested Words Revisited
Algorithms, 2021 We consider the problem of determinizing and minimizing automata for nested words in practice. For this we compile the nested regular expressions (NREs) from the usual XPath benchmark to nested word automata (NWAs).
Joachim Niehren, Momar Sakho
doaj +1 more source
Control-flow checking via regular expressions [PDF]
, 2001 The present paper explains a new approach to program control flow checking. The check has been inserted at source-code level using a signature methodology based on regular expressions.
Benso, Alfredo +4 more
core +1 more source
Parameterized Regular Expressions and their Languages [PDF]
Theoretical Computer Science, 2011 We study regular expressions that use variables, or parameters, which are interpreted as alphabet letters. We consider two classes of languages denoted by such expressions: under the possibility semantics, a word belongs to the language if it is denoted by some regular expression obtained by replacing variables with letters; under the certainly ...
Pablo Barceló +2 more
openalex +12 more sources