Assertion: abstraction | /r/HasProperty | defined
Facets:
Source sentences:
text: In practice the abstractions that are defined are tailored to both the program properties one desires to analyze, and to the set of target programs.