| 
|
Quote: use patterns, like C++ expressions, are more abstract and readable than an equivalent set of operations and auxiliary types
Topic:
debugging by usage rules
Topic:
interface type
Topic:
abstraction
Topic:
pattern matching
Topic:
syntax analysis
Quotation Skeleton
The "use pattern"-based concept system presented here is … template is far more abstract, general and readable … C++ compilers typically represent template definitions as parse … we can implement concept checking [of template definitions and uses] as abstract … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: use abstract tree matching to check the parse tree of a use pattern
Topic: debugging by usage rules (41 items)
Topic: interface type (50 items)
Topic: abstraction (62 items)
Topic: pattern matching (42 items)
Topic: syntax analysis (29 items)