Assertion: abstraction | /r/HasProperty | tailored one desires
Facets:
value: to the program properties
type: TRANSITIVE-OBJECT
value: in practice
type: OTHER
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.