Precise Analysis of String Expressions

This publication has 9 references indexed in Scilit:

• Extending Java for high-level Web service construction
  ACM Transactions on Programming Languages and Systems, 2003
• Regular Expression Types for Strings in a Text Processing Language
  Electronic Notes in Theoretical Computer Science, 2003
• Static Analysis for Dynamic XML
  BRICS Report Series, 2002
• Regular Approximation of Context-Free Grammars through Transformation
  Published by Springer Nature ,2001
• Learning DFA from Simple Examples
  Machine Learning, 2001
• Introduction to set constraint-based program analysis
  Science of Computer Programming, 1999
• Principles of Program Analysis
  Published by Springer Nature ,1999
• Program analysis via graph reachability
  Information and Software Technology, 1998
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977