Assertion: logic | /r/CapableOf | provide specification
Facets:
value: by characterizing a mapping from programs
type: MANNER
value: for a programming language
type: OTHER
Source sentences:
text: Logic, for instance, can provide a specification for a programming language by characterizing a mapping from programs to the computations that they license.