Grammar generators#
See also
|
Returns a C Alias grammar that generates a language for the flow-insensitive alias analysis of C programs [R44f470043b6d-1]. |
|
Returns a Dyck grammar that generates a Dyck language [Rc3935e31b9ae-1] of the balanced strings with parentheses of given types. |
|
Returns a Java Points-to grammar that generates a language for the field-sensitive analysis of Java programs [R82f7dd547c6d-1] with given fields labels. |
|
Returns a Java Points-to grammar that generates a language for the field-sensitive analysis of Java programs [Rf167a64ba2f6-1] with fields corresponding to the load and store edge labels of the given graph. |
|
Returns a Nested Parentheses grammar that generates a language of the strings with nested parentheses of given types. |