Generic Programming: Ifip Tc2/Wg2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany: 115 - Rilegato

Ifip Tc2/Wg2.1 Working Conference On Gen

 
9781402073748: Generic Programming: Ifip Tc2/Wg2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany: 115
Rilegato
ISBN 10: 1402073747 ISBN 13: 9781402073748
Casa editrice: Kluwer Academic Pub, 2003

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Preface. Acknowledgements. Generic Programming within Dependently Typed Programming; T. Altenkirch, C. McBride. Generic Haskell, Specifically; D. Clarke, A. Löh. Generic Accumulations; A. Pardo. A Generic Algorithm for Minimum Chain Partitioning; S.A. Curtis. Concrete Generic Functionals; R.T. Boute. Discussion: The Role of Types in Generic Programming. Making the Usage of STL Safe; D. Gregor, S. Schupp. Static Data Structures; M. Burton, W. Griswold, A. McCulloch, G. Huber. Adaptive Extensions of Object-Oriented Systems; O. Seng, T. Genssler, B. Schulz. Complete Traversals as General Iteration Patterns; W. Klostermeyer, D. Musser, A. Sánchez-Ruíz. Efficient Implementation of Run-time Generic Types for Java; E. Allen, R. Cartwright, B. Stoler. Discussion: Views of Genericity.

Product Description

Generic Programming by Gibbons,J., Jeuring,J., 9781402073748, Springer, 2003, Hardcover

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Kluwer Academic Pub
Data di pubblicazione
2003
Lingua
Inglese
ISBN 10 
1402073747
ISBN 13 
9781402073748
Rilegatura
Copertina rigida
Numero di pagine
242
Redattore
Jeuring Johan
Contatto del produttore
non disponibile
Persona responsabile
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Germania

Altre edizioni note dello stesso titolo

9781475753202: Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany: 115

Edizione in evidenza

ISBN 10:  1475753209 ISBN 13:  9781475753202
Casa editrice: Springer, 2013
Brossura