Assertion: compiler compiler | /r/CapableOf | use denotational semantics
Facets:
value: typically
type: DEGREE
Source sentences:
text: Some experimental compiler-compilers take as input a formal description of programming language semantics, typically using denotational semantics.