dk.brics.automaton
From MaRDI portal
Dk.brics.automaton
Cited in
(21)- Elkhound
- ZaligVinder
- Polyglot
- VATA
- Analyzing ambiguity of context-free grammars
- Kaluza
- AMNESIA
- biXid
- MTBDD
- Negation-closure for JSON schema
- Relax NG
- k-abelian equivalence and rationality
- Optimizing data structures in high-level programs, new directions for extensible compilers based on staging
- BigQuery
- Simple linear string constraints
- Locomotif
- XSugar
- Xqueeze
- A verification-based approach to memory fence insertion in PSO memory systems
- GraphStream
- Preventing injection attacks with syntax embeddings
This page was built for software: dk.brics.automaton
