Generic Programming

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

Jeremy Gibbons, Johan Jeuring (Herausgeber)

Buch | Softcover

246 Seiten

2013
Springer-Verlag New York Inc.
978-1-4757-5320-2 (ISBN)

Artikel merken

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.

Generic Programming within Dependently Typed Programming.- Generic Haskell, Specifically.- Generic Accumulations.- A Generic Algorithm for Minimum Chain Partitioning.- Concrete Generic Functionals.- Discussion: The Rôle of Types in Generic Programming.- Making the Usage of STL Safe.- Static Data Structures.- Adaptive Extensions of Object-Oriented Systems.- Complete Traversals as General Iteration Patterns.- Efficient Implementation of Run-time Generic Types for Java.- Discussion: Views of Genericity.

Reihe/Serie	IFIP International Federation for Information Processing ; 115
Zusatzinfo	XIV, 246 p.
Verlagsort	New York, NY
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Informatik ► Theorie / Studium ► Algorithmen
	Informatik ► Theorie / Studium ► Compilerbau
ISBN-10	1-4757-5320-9 / 1475753209
ISBN-13	978-1-4757-5320-2 / 9781475753202
Zustand	Neuware