Pages that link to "Item:Q5466499"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5466499):
Displayed 20 items.
- Translating regular expression matching into transducers (Q420836) (← links)
- Annotated regular expressions and input-driven languages (Q783684) (← links)
- PiDuce- A project for experimenting web services technologies (Q838158) (← links)
- Adapting functional programs to higher order logic (Q1029815) (← links)
- A deterministic parsing algorithm for ambiguous regular expressions (Q2035007) (← links)
- From regular expression matching to parsing (Q2089747) (← links)
- Formalising and implementing Boost POSIX regular expression matching (Q2220787) (← links)
- On the semantics of regular expression parsing in the wild (Q2357106) (← links)
- POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl) (Q2829247) (← links)
- Derivative-Based Diagnosis of Regular Expression Ambiguity (Q2830226) (← links)
- From Ambiguous Regular Expressions to Deterministic Parsing Automata (Q2947407) (← links)
- On the Semantics of Regular Expression Parsing in the Wild (Q2947430) (← links)
- BSP: A Parsing Tool for Ambiguous Regular Expressions (Q2947431) (← links)
- Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions (Q3073642) (← links)
- Hedge Pattern Partial Derivative (Q3637349) (← links)
- Proof-directed program transformation: A functional account of efficient regular expression matching (Q5016216) (← links)
- A Computational Interpretation of Context-Free Expressions (Q5056002) (← links)
- (Q5079743) (← links)
- From Regular Expression Matching to Parsing (Q5092434) (← links)
- POSIX lexing with derivatives of regular expressions (Q6111525) (← links)