✦ LIBER ✦

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

✍ Scribed by Kozen, Dexter

Book ID: 120281277
Publisher: Springer Berlin Heidelberg
Year: 2004
Weight: 349 KB
Category: Article
ISBN: 3540277641
DOI: 10.1007/978-3-540-27764-4_18

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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

[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] Mathematical Foundations of Computer Science 1996 Volume 1113 || From specifications to programs: A fork-algebraic approach to bridge the gap

✍ Penczek, Wojciech; Szałas, Andrzej 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 599 KB

[Lecture Notes in Computer Science] Tool

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 7795 || Deriving Probability Density Functions from Probabilistic Functional Programs

✍ Piterman, Nir; Smolka, Scott A. 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 288 KB