Parsing abstract strings

Andrey Breslav

Slides from the talk [pdf]

Abstract: The situation where one program generates and executes another program is rather common in such areas as web development. For example, Java web-applications generate HTML/CSS, JavaScript and SQL. To ensure that generated strings indeed conform to the syntactic rules of these languages, a technique called Abstract parsing is employed. The talk covers the abstract representation for sets of possible values of Java string variables and lexical and syntactical analysis of such representations. Practical aspects such as tracking positions of tokens in the source file and data structures needed for efficient implementation will be also described.

Main references:

Varmo Vene
Last update 8 March 2010