[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 6120 || Adjoint Folds and Unfolds

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 5133 || Zippy Tabulations of Recursive Functions

✍ Audebaud, Philippe; Paulin-Mohring, Christine 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 223 KB

This Book Constitutes The Refereed Proceedings Of The 9th International Conference On Mathematics Of Program Construction, Mpc 2008, Held In Marseille, France In July 2008. The 18 Revised Full Papers Presented Together With 1 Invited Talk Were Carefully Reviewed And Selected From 41 Submissions. Iss

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 947 || An initial-algebra approach to directed acyclic graphs

✍ Möller, Bernhard 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 991 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 3125 || Transposing Relations: From Maybe Functions to Hash Tables

✍ Kozen, Dexter 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 349 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 1837 || A Metalanguage for Programming with Bound Names Modulo Renaming

✍ Backhouse, Roland; Oliveira, José Nuno 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 334 KB

This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- p

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 1837 || A Metalanguage for Programming with Bound Names Modulo Renaming

✍ Backhouse, Roland; Oliveira, José Nuno 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 334 KB

This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- p

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 3125 || Describing Gen/Kill Static Analysis Techniques with Kleene Algebra

✍ Kozen, Dexter 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 275 KB