Norn
From MaRDI portal
Software:33653
swMATH21853MaRDI QIDQ33653FDOQ33653
Author name not available (Why is that?)
Cited In (13)
- On equations and first-order theory of one-relator monoids
- MiniZinc with strings
- Constraint programming for dynamic symbolic execution of JavaScript
- Chain-Free String Constraints
- Completeness of string analysis for dynamic languages
- Design and implementation of bounded-length sequence variables
- The satisfiability of word equations: decidable and undecidable theories
- String theories involving regular membership predicates: from practice to theory and back
- Towards more efficient methods for solving regular-expression heavy string constraints
- Word equations in the context of string solving
- Completeness of abstract domains for string analysis of JavaScript programs
- Dashed strings for string constraint solving
- A decision procedure for string to code point conversion
This page was built for software: Norn
