Assertion: abstraction | /r/CapableOf | deal with computer programs
Facets:
Source sentences:
text: Abstractions can prove useful when dealing with computer programs, because non-trivial properties of computer programs are essentially undecidable (see Rice's theorem).