Assertion: abstraction | /r/UsedFor | refer to the act
Facets:
Source sentences:
text: When discussing formal semantics of programming languages, formal methods or abstract interpretation, abstraction refers to the act of considering a less detailed, but safe, definition of the observed program behaviors.