Titlebook: Generic Programming; International Semina Mehdi Jazayeri,Rüdiger G. K. Loos,David R. Musser Conference proceedings 2000 Springer-Verlag Ber

旁观者

贪婪地吃

切掉

Requirement Oriented ProgrammingGeneric programming is requirement oriented programming. We study the concept of genericity and generic concepts. Support of generic programming is exemplified by . formalizations of algebraic and STL concepts. We call for a common effort to establish and maintain generic libraries.

dermatomyositis

Segmented Iterators and Hierarchical AlgorithmsMany data structures are naturally segmented. Generic algorithms that ignore that feature, and that treat every data structure as a uniform range of elements, are unnecessarily inefficient. A new kind of iterator abstraction, in which segmentation is explicit, makes it possible to write hierarchical algorithms that exploit segmentation.

翻布寻找

https://doi.org/10.1007/3-540-39953-4Abstract Representations; Generic Algorithms; Generic Data Structures; Generic Programming; Java; Model C

chalice

glomeruli

易怒

https://doi.org/10.1007/978-94-015-0520-8g to attain the goals set for Generic Programming. Within the formalism of AP, we explore the important problem of refinement: given two generic programs, does one express a subset of the programs expressed by the other? We show that two natural definitions of refinement coincide, but the correspond

Figate

Sajau Basap and Other Basap Dialects,if (1) no errors can be introduced into an application due to its use or inheritance from it, (2) error messages do not point deep into library code but into the user’s application, and (3) statically checkable incorrect uses of library classes are recognized by compilers. The principles derived fro

MURKY