Assertion: data type | /r/ObjectUse | used in formal semantics
Facets:
value: less strictly, in design
type: MANNER
Source sentences:
text: Abstract data types are used in formal semantics and program verification and, less strictly, in design.