首页>外文会议>Generic Programming

Generic Programming

召开年：2002
召开地：Dagstuhl(DE);Dagstuhl(DE)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A Generic Algorithm for Minimum Chain Partitioning

机译：最小链分割的通用算法
- 作者：Sharon A. Curtis
- 会议名称：《Generic Programming》 | 2003年
2.Making the Usage of STL Safe

机译：确保STL的使用安全
- 作者：Douglas Gregor;Sibylle Schupp
- 会议名称：《Generic Programming》 | 2003年
- static program analysis;
- algorithm specification;
- standard template library (STL);
- symbolic loop analysis;
3.Adaptive Extensions of Object-Oriented Systems

机译：面向对象系统的自适应扩展
- 作者：Olaf Seng;Thomas Genssler;Benedikt Schulz
- 会议名称：《Generic Programming》 | 2003年
- software re-engineering;
- adaptive programming;
- scripting languages;
4.Complete Traversals as General Iteration Patterns

机译：完成遍历作为一般迭代模式
- 作者：William Klostermeyer;David Musser;A. J. Sanchez-Ruiz
- 会议名称：《Generic Programming》 | 2003年
5.Concrete Generic Functionals: Principles, Design and Applications

机译：具体的通用功能：原理，设计和应用
- 作者：Raymond T. Boute
- 会议名称：《Generic Programming》 | 2003年
6.Efficient Implementation of Run-time Generic Types for Java

机译：Java的运行时通用类型的有效实现
- 作者：Eric Allen;Robert Cartwright;Brian Stoler
- 会议名称：《Generic Programming》 | 2003年
- java;
- GJ;
- NextGen;
- generic types;
- type dependent operation;
- JVM extensions;
- compatibility;
- specification;
- design;
- implementation;
- class loader;
- reflection;
- erasure;
- performance benchmarks;
- run-time;
- object-oriented programming;
- parametric polymorphism;
- p;
7.Generic Accumulations

机译：一般累积
- 作者：Alberto Pardo
- 会议名称：《Generic Programming》 | 2003年
8.Generic HASKELL, Specifically

机译：通用HASKELL，特别是
- 作者：Dave Clarke;Andres Loeh
- 会议名称：《Generic Programming》 | 2003年
- generic programming;
- polytypism;
- program transformations;
- large bananas;
- generic haskell;
9.Generic Programming within Dependently Typed Programming

机译：相依类型编程中的泛型编程
- 作者：Thorsten Altenkirch;Conor McBride
- 会议名称：《Generic Programming》 | 2003年
10.Static Data Structures: Reconciling Template Metaprogramming and Generic Programming

机译：静态数据结构：协调模板元编程和通用编程
- 作者：Michael C. Burton;William G. Griswold;Andrew D. McCulloch;Gary A. Huber
- 会议名称：《Generic Programming》 | 2003年
- template metaprogramming;
- generic programming;
- C++;
- STL;
- boost;
- partial evaluation;
- object-oriented numerics;
- static data structures;
- het-erogenous type lists;
- finite element method;
- FEM;