Assertion: compiler compiler | /r/HasAspect | semi-formal framework
Facets:
value: for machine description
type: PURPOSE
Source sentences:
text: The Production Quality Compiler-Compiler (PQCC) project at Carnegie Mellon University does not formalize semantics, but does have a semi-formal framework for machine description.