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