Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Gibbons, Jeremy (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Σειρά: Lecture Notes in Computer Science, 7470
• Θέματα: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Data structures (Computer science).; Computer logic.; Mathematical logic.; Computer Science.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Software Engineering.; Data Structures.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

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...