Data Structures and Amortized Complexity in a Functional Setting (1992)

by Berry Schoenmakers
Citations:11 - 3 self

Active Bibliography

18 Optimal Purely Functional Priority Queues – Gerth Stølting Brodal, Chris Okasaki - 1996
2 Checking and Certifying Computational Results – Jonathan D. Bright - 1994
4 An Empirical Comparison of Priority Queue Algorithms – Mauricio Marín
A Relational Basis for Program Construction by Parts – unknown authors
8 A Relational Basis for Program Construction by Parts – Marc Frappier - 1995
15 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
15 Between Functions and Relations in Calculating Programs – Graham Muir Hutton - 1992
4 The Derivation of a Tighter Bound for Top-Down Skew Heaps – Anne Kaldewaij, Berry Schoenmakers - 1991
2 Discrete-Event Simulation on the Bulk-Synchronous Parallel Model – Mauricio Marin, St Cross College, Supervisor Prof, W. F. Mccoll - 1998
3 On the Pending Event Set and Binary Tournaments – Mauricio Marín
8 A framework for speeding up priorityqueue operations – Amr Elmasry, Claus Jensen, Jyrki Katajainen - 2004
18 Checking Mergeable Priority Queues – Jonathan Bright, Gregory Sullivan - 1994
6 Incremental Software Construction with Refinement Diagrams – Ralph-johan Back - 2005
12 A Tool for Data Refinement – Rimvydas Ruksenas, et al. - 1997
5 Inorder Traversal of a Binary Heap and its Inversion in Optimal Time and Space – Berry Schoenmakers - 1992
55 Refinement Calculus, Part I: Sequential Nondeterministic Programs – R. J. R. Back, J. von Wright - 1989
1 Parallel and Distributed Branch-and-Bound/A* Algorithms – V.-D. Cung, S. Dowaji, B. Le Cun, T. Mautor, C. Roucairol - 1994
3 A Range Minima Parallel Algorithm for Coarse Grained Multicomputers – H. Mongelli, S. W. Song - 1999
4 Fast fractional cascading and its applications – Qingmin Shi, Joseph Jaja - 2003