Map
Index
Random
Help
th

QuoteRef: dosrG1_2006




Topic:
object-oriented templates and containers
Topic:
efficiency
Topic:
generic operations and polymorphism
Topic:
type parameter
Topic:
interface type
Topic:
debugging by usage rules
Topic:
abstraction
Topic:
pattern matching
Topic:
syntax analysis
Topic:
iterator

Reference

Dos Reis, G., Stroustrup, B., "Specifying C++ concepts", Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL 2006, Charleston, South Carolina, USA, January 2006, ACM SIGPLAN, 41, 1, January 2006, pp. 295-308. Google

Other Reference

Gregor, D., et al, Concepts: linguistic support for generic programming in C++, OOPSLA October 2006.

Quotations
295 ;;Quote: templates capture abstractions while retaining performance; at instantiation, compiler has the calling and called context; instantiated only if needed
296 ;;Quote: want separate checking of templates and their uses; if check the template and its uses against the template's parameter concepts, then instantiations should type check
296 ;;Quote: within a template, x*x is a dependent name that depends on the type parameter; * is an implicit parameter
298 ;;Quote: template concepts restrict the allowable types; e.g., Assignable with Assignable as true
299 ;;Quote: define use patterns that a type must implement; e.g., 'p++=v' or 'bool b = (p != q);'
300 ;;Quote: use patterns, like C++ expressions, are more abstract and readable than an equivalent set of operations and auxiliary types
300+;;Quote: use abstract tree matching to check the parse tree of a use pattern
305 ;;Quote: output iterators in the C++ Standard Library are difficult to specify; what is the relationship between value written, iterator, and algorithm?

Related Topics up

Topic: object-oriented templates and containers (27 items)
Topic: efficiency (96 items)
Topic: generic operations and polymorphism (67 items)
Topic: type parameter (34 items)
Topic: interface type (50 items)
Topic: debugging by usage rules (41 items)
Topic: abstraction (62 items)
Topic: pattern matching (42 items)
Topic: syntax analysis (29 items)
Topic: iterator (13 items)

Collected barberCB 3/06
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.