Books > Computing & IT > Computer programming
|
Buy Now
Generic and Indexed Programming (Paperback, 2012 ed.)
Loot Price: R1,451
Discovery Miles 14 510
|
|
Generic and Indexed Programming (Paperback, 2012 ed.)
Series: Lecture Notes in Computer Science, 7470
Expected to ship within 10 - 15 working days
|
Generic programming is about making programs more widely applicable
via exotic kinds of parametrization---not just along the dimensions
of values or of types, but also of things such as the shape of
data, algebraic structures, strategies, computational paradigms,
and so on. Indexed programming is a lightweight form of dependently
typed programming, constraining flexibility by allowing one to
state and check relationships between parameters: that the shapes
of two arguments agree, that an encoded value matches some type,
that values transmitted along a channel conform to the stated
protocol, and so on. The two forces of genericity and indexing
balance each other nicely, simultaneously promoting and controlling
generality. The 5 lectures included in this book stem from the
Spring School on Generic and Indexed Programming, held in Oxford,
UK, in March 2010 as a closing activity of the generic and indexed
programming project at Oxford which took place in the years
2006-2010.
General
Imprint: |
Springer-Verlag
|
Country of origin: |
Germany |
Series: |
Lecture Notes in Computer Science, 7470 |
Release date: |
July 2012 |
First published: |
2012 |
Editors: |
Jeremy Gibbons
|
Dimensions: |
235 x 155 x 14mm (L x W x T) |
Format: |
Paperback
|
Pages: |
259 |
Edition: |
2012 ed. |
ISBN-13: |
978-3-642-32201-3 |
Categories: |
Books >
Computing & IT >
Computer programming >
General
|
LSN: |
3-642-32201-8 |
Barcode: |
9783642322013 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.