swMATH12040MaRDI QIDQ23974FDOQ23974
Author name not available (Why is that?)
Official website: http://www.brics.dk/automaton/
Cited In (21)
- A verification-based approach to memory fence insertion in PSO memory systems
- Preventing injection attacks with syntax embeddings
- Optimizing data structures in high-level programs, new directions for extensible compilers based on staging
- Analyzing ambiguity of context-free grammars
- Elkhound
- Simple linear string constraints
- Polyglot
- VATA
- AMNESIA
- Kaluza
- biXid
- MTBDD
- Relax NG
- BigQuery
- Locomotif
- \(k\)-abelian equivalence and rationality
- XSugar
- Xqueeze
- GraphStream
- ZaligVinder
- Negation-closure for JSON schema
This page was built for software: dk.brics.automaton
