Ebook: Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany
- Tags: Programming Languages Compilers Interpreters, Software Engineering/Programming and Operating Systems, Theory of Computation, Data Structures, Mathematics of Computing
- Series: IFIP — The International Federation for Information Processing 115
- Year: 2003
- Publisher: Springer US
- Edition: 1
- Language: English
- pdf
Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic program are often quite rich in structure; for example, they may be other programs, types or type constructors, class hierarchies, or even programming paradigms.
Generic programming techniques have always been of interest, both to practitioners and to theoreticians, but only recently have generic programming techniques become a specific focus of research in the functional and object-oriented programming language communities.
Generic Programming comprises the edited proceedings of the Working Conference on Generic Programming, which was sponsored by the International Federation for Information Processing (IFIP) and held in Dagstuhl, Germany in July 2002. With contributions from leading researchers around the world, this volume captures the state of the art in this important emerging area.
Content:
Front Matter....Pages i-ix
Generic Programming within Dependently Typed Programming....Pages 1-20
Generic H?SKELL, Specifically....Pages 21-47
Generic Accumulations....Pages 49-78
A Generic Algorithm for Minimum Chain Partitioning....Pages 79-88
Concrete Generic Functionals....Pages 89-119
Discussion: The R?le of Types in Generic Programming....Pages 121-126
Making the Usage of STL Safe....Pages 127-140
Static Data Structures....Pages 141-169
Adaptive Extensions of Object-Oriented Systems....Pages 171-186
Complete Traversals as General Iteration Patterns....Pages 187-206
Efficient Implementation of Run-time Generic Types for Java....Pages 207-236
Discussion: Views of Genericity....Pages 237-242
Content:
Front Matter....Pages i-ix
Generic Programming within Dependently Typed Programming....Pages 1-20
Generic H?SKELL, Specifically....Pages 21-47
Generic Accumulations....Pages 49-78
A Generic Algorithm for Minimum Chain Partitioning....Pages 79-88
Concrete Generic Functionals....Pages 89-119
Discussion: The R?le of Types in Generic Programming....Pages 121-126
Making the Usage of STL Safe....Pages 127-140
Static Data Structures....Pages 141-169
Adaptive Extensions of Object-Oriented Systems....Pages 171-186
Complete Traversals as General Iteration Patterns....Pages 187-206
Efficient Implementation of Run-time Generic Types for Java....Pages 207-236
Discussion: Views of Genericity....Pages 237-242
....