旁观者
发表于 2025-3-25 06:06:59
http://reply.papertrans.cn/39/3824/382384/382384_21.png
贪婪地吃
发表于 2025-3-25 08:36:44
http://reply.papertrans.cn/39/3824/382384/382384_22.png
切掉
发表于 2025-3-25 12:37:17
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
发表于 2025-3-25 18:32:24
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.
翻布寻找
发表于 2025-3-26 00:04:24
https://doi.org/10.1007/3-540-39953-4Abstract Representations; Generic Algorithms; Generic Data Structures; Generic Programming; Java; Model C
chalice
发表于 2025-3-26 01:17:41
http://reply.papertrans.cn/39/3824/382384/382384_26.png
glomeruli
发表于 2025-3-26 07:32:43
http://reply.papertrans.cn/39/3824/382384/382384_27.png
易怒
发表于 2025-3-26 09:45:11
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
发表于 2025-3-26 15:08:31
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
发表于 2025-3-26 18:48:35
http://reply.papertrans.cn/39/3824/382384/382384_30.png