Assertion: collection's representation | /r/HasProperty | proposed in the mccat compiler
Facets:
value: by laurie j. hendren
type: OTHER
Source sentences:
text: This representation was inspired by the SIMPLE representation proposed in the McCAT compiler by Laurie J. Hendren for simplifying the analysis and optimization of imperative programs.