Buchumschlag

Linear Matching of JavaScript Regular Expressions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Barrière, Aurèle, Pit-Claudel, Clément
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Programming Languages Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Coq Mechanization of JavaScript Regular Expression Semantics
von: De Santo, Noé, et al.
Veröffentlicht: (2024)

Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications (Extended Version)
von: Barrière, Aurèle, et al.
Veröffentlicht: (2025)

On the computational complexity of JavaScript regex matching
von: Deng, Victor, et al.
Veröffentlicht: (2026)

On the Expressive Power of Regular Expressions with Backreferences
von: Nogami, Taisei, et al.
Veröffentlicht: (2023)

Formally Verified Linear-Time Invertible Lexing
von: Chassot, Samuel, et al.
Veröffentlicht: (2025)

Weighted Automata and Regular Expressions for Financial Systems
von: Droste, Manfred, et al.
Veröffentlicht: (2026)

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny
von: Zetzsche, Stefan, et al.
Veröffentlicht: (2024)

Regular Expressions with Backreferences on Multiple Context-Free Languages, and the Closed-Star Condition
von: Nogami, Taisei, et al.
Veröffentlicht: (2024)

GrappaRE -- A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
von: De Rosa, Mattia, et al.
Veröffentlicht: (2025)

The Complexity of Aggregates over Extractions by Regular Expressions
von: Doleschal, Johannes, et al.
Veröffentlicht: (2020)

Finite-State Automaton To/From Regular Expression Visualization
von: Morazán, Marco T., et al.
Veröffentlicht: (2024)

Efficient Matching of Some Fundamental Regular Expressions with Backreferences
von: Nogami, Taisei, et al.
Veröffentlicht: (2025)

Saturating automata for game semantics
von: Dixon, Alex, et al.
Veröffentlicht: (2023)

Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
von: Nepeivoda, Antonina, et al.
Veröffentlicht: (2025)

Characterizing Implementability of Global Protocols with Infinite States and Data
von: Li, Elaine, et al.
Veröffentlicht: (2024)

Decision Procedure for A Theory of String Sequences
von: Hu, Denghang, et al.
Veröffentlicht: (2025)

An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
von: Stutz, Felix, et al.
Veröffentlicht: (2025)

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
von: Paul, Abhijit
Veröffentlicht: (2025)

Maximal and minimal dynamic Petri net slicing
von: Llorens, Marisa, et al.
Veröffentlicht: (2021)

V-Star: Learning Visibly Pushdown Grammars from Program Inputs
von: Jia, Xiaodong, et al.
Veröffentlicht: (2024)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2026)

Synthesizing DSLs for Few-Shot Learning
von: Krogmeier, Paul, et al.
Veröffentlicht: (2025)

Syntax Repair as Language Intersection
von: Considine, Breandan
Veröffentlicht: (2025)

Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking
von: Li, Elaine, et al.
Veröffentlicht: (2026)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
von: Geißler, Dominik, et al.
Veröffentlicht: (2025)

Refuting Equivalence in Probabilistic Programs with Conditioning
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Weighted Automata for Exact Inference in Discrete Probabilistic Programs
von: Geißler, Dominik, et al.
Veröffentlicht: (2025)

Equivalence and Similarity Refutation for Probabilistic Programs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

Reactive graphs in action (extended version)
von: Tinoco, David, et al.
Veröffentlicht: (2024)

Polyregular equivalence is undecidable in higher-order types
von: Bojańczyk, Mikołaj, et al.
Veröffentlicht: (2026)

Synchronisability in Mailbox Communication
von: Di Giusto, Cinzia, et al.
Veröffentlicht: (2024)

Verification under TSO with an infinite Data Domain
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2024)

On Synthesis of Timed Regular Expressions
von: Wang, Ziran, et al.
Veröffentlicht: (2025)

Computational Model for Parsing Expression Grammars
von: Rubtsov, Alexander, et al.
Veröffentlicht: (2024)

Parametric Timed Pattern Matching
von: Waga, Masaki, et al.
Veröffentlicht: (2019)

Regular Languages in the Sliding Window Model
von: Ganardi, Moses, et al.
Veröffentlicht: (2024)

Kamp Theorem for Pomset Languages of Higher Dimensional Automata
von: Clement, Emily, et al.
Veröffentlicht: (2024)

Regular Expression Denial of Service Induced by Backreferences
von: Liu, Yichen, et al.
Veröffentlicht: (2026)

Regular Expressions with Backreferences and Lookaheads Capture NLOG
von: Uezato, Yuya
Veröffentlicht: (2024)

Shuffles of Context-Free Languages along Regular Trajectories
von: Barloy, Corentin, et al.
Veröffentlicht: (2026)