Search
Skip to Search Results
Filter
Subject / Keyword
Collections
Author / Creator / Contributor
Year
Languages
Item type
-
2003
Rudnicki, Piotr, Hoover, Jim, Hou, Daqing
Technical report TR03-22. Different program analyses require different information from the source code. For some applications, an AST (Abstract Syntax Tree) representation of the source may be sufficient. We want to be able to specify assertions on the structure of a program without mentioning...
1 - 1 of 1