.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Generic and Indexed Programming
N/A
€ 61.41
FREE Delivery in Ireland
Description for Generic and Indexed Programming
Paperback. This book collects lectures from the Spring 2010 School on Generic and Indexed Programming. Includes coverage showing how the forces of genericity and indexing balance each other, simultaneously promoting and controlling generality in programming. Editor(s): Gibbons, Jeremy. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 266 pages, 24 black & white illustrations, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 415.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
259
Place of Publication
Berlin, Germany
ISBN
9783642322013
SKU
V9783642322013
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Generic and Indexed Programming