標(biāo)題: Titlebook: Generic Programming; International Semina Mehdi Jazayeri,Rüdiger G. K. Loos,David R. Musser Conference proceedings 2000 Springer-Verlag Ber [打印本頁] 作者: bankrupt 時(shí)間: 2025-3-21 18:49
書目名稱Generic Programming影響因子(影響力)
書目名稱Generic Programming影響因子(影響力)學(xué)科排名
書目名稱Generic Programming網(wǎng)絡(luò)公開度
書目名稱Generic Programming網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Generic Programming被引頻次
書目名稱Generic Programming被引頻次學(xué)科排名
書目名稱Generic Programming年度引用
書目名稱Generic Programming年度引用學(xué)科排名
書目名稱Generic Programming讀者反饋
書目名稱Generic Programming讀者反饋學(xué)科排名
作者: Defiance 時(shí)間: 2025-3-21 21:56 作者: 空氣傳播 時(shí)間: 2025-3-22 03:40
0302-9743 Overview: Includes supplementary material: 978-3-540-41090-4978-3-540-39953-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 預(yù)定 時(shí)間: 2025-3-22 06:49 作者: jovial 時(shí)間: 2025-3-22 09:40 作者: Fecundity 時(shí)間: 2025-3-22 16:18
Critical Theory and Political Engagement uniform representation, while the heterogeneous translation expands the program by specialising parameterised classes according to their arguments. This paper describes both translations in detail, compares their time and space requirements and discusses how each affects the Java security model.作者: Fecundity 時(shí)間: 2025-3-22 18:05 作者: 切掉 時(shí)間: 2025-3-22 23:17
Critical Theory and Political Theology PVS system to formally represent, verify and correctly apply generic software development steps and development methods from different existing transformational approaches. We illustrate our approach by representing the well-known divide-and-conquer paradigm, two optimization steps, and by formally deriving a mergesort program.作者: Frequency 時(shí)間: 2025-3-23 01:38
Darrell P. Arnold,Andreas Michelthe . theorem prover is its special proof script language that enables textbook style presentation of proofs, hence allowing proofs in the language of algebra..Using . we were able to give a rigorous machine assisted correctness proof of a generic version of the Brown/Henrici arithmetic in the field of fractions over arbitrary gcd domains.作者: 不適當(dāng) 時(shí)間: 2025-3-23 09:30 作者: condone 時(shí)間: 2025-3-23 13:27 作者: 獨(dú)裁政府 時(shí)間: 2025-3-23 14:55 作者: bronchodilator 時(shí)間: 2025-3-23 18:44
Exception-Safety in Generic Componentsed interactions with exceptions, the error-handling mechanism built-in to the core C++ language. It explores the meaning of exception-safety, reveals surprising myths about exceptions and genericity, describes valuable tools for reasoning about program correctness, and outlines an automated testing procedure for verifying exception-safety.作者: Enliven 時(shí)間: 2025-3-23 23:53
Two Ways to Bake Your Pizza — Translating Parameterised Types into Java uniform representation, while the heterogeneous translation expands the program by specialising parameterised classes according to their arguments. This paper describes both translations in detail, compares their time and space requirements and discusses how each affects the Java security model.作者: BOOST 時(shí)間: 2025-3-24 05:43
SuchThat — Generic Programming Worksage for algorithm descriptions, and ., a specification language for generic components. The . language is characterized by its support of algorithmic requirements and dependent genericity. We discuss the underlying design decisions and show that the semantic interpretation of overloading plays a key role in determining optimal instantiations.作者: ectropion 時(shí)間: 2025-3-24 08:44 作者: 粗魯?shù)娜?nbsp; 時(shí)間: 2025-3-24 13:20 作者: START 時(shí)間: 2025-3-24 15:34 作者: 不規(guī)則的跳動(dòng) 時(shí)間: 2025-3-24 22:47
The STL Model in the Geometric Domainses the question whether, and to which extent, the concepts of the . (.) are appropriate for library design in this realm. We will discuss this question in view of selected fundamental algorithms and data structures.作者: gastritis 時(shí)間: 2025-3-25 00:39
Mehdi Jazayeri,Rüdiger G. K. Loos,David R. MusserIncludes supplementary material: 作者: 旁觀者 時(shí)間: 2025-3-25 06:06 作者: 貪婪地吃 時(shí)間: 2025-3-25 08:36 作者: 切掉 時(shí)間: 2025-3-25 12:37
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 時(shí)間: 2025-3-25 18:32
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.作者: 翻布尋找 時(shí)間: 2025-3-26 00:04
https://doi.org/10.1007/3-540-39953-4Abstract Representations; Generic Algorithms; Generic Data Structures; Generic Programming; Java; Model C作者: chalice 時(shí)間: 2025-3-26 01:17 作者: glomeruli 時(shí)間: 2025-3-26 07:32 作者: 易怒 時(shí)間: 2025-3-26 09:45
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 時(shí)間: 2025-3-26 15:08
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 時(shí)間: 2025-3-26 18:48 作者: 背信 時(shí)間: 2025-3-26 21:44 作者: 廢止 時(shí)間: 2025-3-27 02:05
https://doi.org/10.1007/978-0-230-80237-7 and practice. When applied, however, it results in incomplete segregation of data structure handling and algorithm code into separate modules. The resulting tight coupling between modules makes it difficult to develop these modules independently, difficult to understand them independently, and diff作者: AIL 時(shí)間: 2025-3-27 06:10
Critical Theory and Political Engagement uniform representation, while the heterogeneous translation expands the program by specialising parameterised classes according to their arguments. This paper describes both translations in detail, compares their time and space requirements and discusses how each affects the Java security model.作者: 放肆的我 時(shí)間: 2025-3-27 11:43
The Dual Individual and Its Rightsage for algorithm descriptions, and ., a specification language for generic components. The . language is characterized by its support of algorithmic requirements and dependent genericity. We discuss the underlying design decisions and show that the semantic interpretation of overloading plays a key作者: 使成波狀 時(shí)間: 2025-3-27 15:16
Critical Theory and Political Theology PVS system to formally represent, verify and correctly apply generic software development steps and development methods from different existing transformational approaches. We illustrate our approach by representing the well-known divide-and-conquer paradigm, two optimization steps, and by formally作者: ineptitude 時(shí)間: 2025-3-27 21:38 作者: Opponent 時(shí)間: 2025-3-27 21:56 作者: GIST 時(shí)間: 2025-3-28 04:57 作者: commune 時(shí)間: 2025-3-28 08:31 作者: maroon 時(shí)間: 2025-3-28 14:21
The Iranian Revolution and its Aftershock,E is an general-purpose expression-template library employed by POOMA to implement expression evaluation. This paper discusses generic programming techniques that are used to achieve flexibility and high performance in both POOMA and PETE. POOMA’s array class factors the data representation and look作者: 同義聯(lián)想法 時(shí)間: 2025-3-28 15:22
https://doi.org/10.1007/978-3-658-17223-7ses the question whether, and to which extent, the concepts of the . (.) are appropriate for library design in this realm. We will discuss this question in view of selected fundamental algorithms and data structures.作者: 亂砍 時(shí)間: 2025-3-28 20:35
Critical Writing for Embodied Approachespossible. The implementations of graph algorithms normally cannot be reused mainly because the representations of graphs differ in many ways and the implementations normally assume one specific representation. This article presents an approach to overcoming this problem which is based mainly on spec作者: 開始沒有 時(shí)間: 2025-3-29 02:40 作者: dandruff 時(shí)間: 2025-3-29 04:12
Critical Writing for Embodied Approachesmplementations normally assume one specific representation. This article presents an approach to overcoming this problem which is based mainly on special iterators and special means to access data associated with objects.作者: BIDE 時(shí)間: 2025-3-29 08:20 作者: 可忽略 時(shí)間: 2025-3-29 12:54
The Iranian Revolution and its Aftershock,-up into a generic engine concept. PETE’s expression templates are used to build and operate efficiently on expressions. PETE is implemented using generic techniques that allow it to adapt to a variety of client-class interfaces, and to provide a powerful and flexible compile-time expression-tree-traversal mechanism.作者: 雪上輕舟飛過 時(shí)間: 2025-3-29 17:14 作者: Reservation 時(shí)間: 2025-3-29 22:15
Generic Programming in POOMA and PETE-up into a generic engine concept. PETE’s expression templates are used to build and operate efficiently on expressions. PETE is implemented using generic techniques that allow it to adapt to a variety of client-class interfaces, and to provide a powerful and flexible compile-time expression-tree-traversal mechanism.作者: Ophthalmologist 時(shí)間: 2025-3-30 02:05 作者: Ptosis 時(shí)間: 2025-3-30 06:26 作者: 引水渠 時(shí)間: 2025-3-30 10:34
https://doi.org/10.1007/978-0-230-80237-7sulating only data structures as objects, leaving algorithms to be encapsulated as single procedures whose parameters are such objects. For the full software engineering benefits of the information hiding principle to be realized, data abstractions that encapsulate data structures and algorithms together are essential.作者: 舊病復(fù)發(fā) 時(shí)間: 2025-3-30 14:05 作者: 審問,審訊 時(shí)間: 2025-3-30 19:10
Fundamentals of Generic Programmingoduce an axiomatization of these operators which yields the required consistency with built-in types, matches the intuitive expectations of programmers, and also reflects our underlying mathematical expectations.作者: 暗指 時(shí)間: 2025-3-30 21:31
Theory and Generality of Complete Traversalsabout complete traversals and address the question of how general the complete traversal problem is by showing that it subsumes well-known graph (or relation) problems such as reachability and transitive closure.作者: Emg827 時(shí)間: 2025-3-31 01:09 作者: 運(yùn)氣 時(shí)間: 2025-3-31 06:14 作者: obstinate 時(shí)間: 2025-3-31 10:16 作者: 圣歌 時(shí)間: 2025-3-31 15:12 作者: 廢除 時(shí)間: 2025-3-31 20:52
Fundamentals of Generic Programmingto well-defined interfaces. Among the interfaces of interest, indeed the most pervasively and unconsciously used, are the fundamental operators common to all C++ built-in types, as extended to user-defined types; e.g., copy constructors, assignment, and equality. We investigate the relations which m作者: 內(nèi)行 時(shí)間: 2025-3-31 22:08
Generative Programming and Active Librariesional libraries, active libraries may contain metaprograms that implement domain-specific code generation, optimizations, debugging, profiling and testing. Several working examples (Blitz++, GMCL, Xroma) are presented to illustrate the potential of active libraries. We discuss relevant implementatio作者: Intruder 時(shí)間: 2025-4-1 02:50
The Refinement Relation of Graph-Based Generic Programsg 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
