Functional pearl: Unfolding pointer algorithms (2001)

by Richard S. Bird
Venue:Journal of Functional Programming
Citations:6 - 0 self

Active Bibliography

Case Studies For The Derivation Of Pointer Algorithms – Thorsten Ehm - 2003
9 Calculational Derivation of Pointer Algorithms from Tree Operations – Michael Butler - 1998
1 Transformational construction of correct pointer algorithms – Thorsten Ehm, Universität Augsburg - 2001
102 Proving pointer programs in Hoare Logic – Richard Bornat - 2000
11 Reasoning about pointers in refinement calculus – Ralph-johan Back - 2003
21 Foundations for a Practical Theory of Program Refinement and Transformation – M. P. Ward - 1994
36 Derivation of Data Intensive Algorithms by Formal Transformation: The Schorr-Waite Graph Marking Algorithm – Martin Ward - 1996
17 Formal Methods to Aid the Evolution of Software – M. P. Ward, K. H. Bennett - 1995
13 A case study of C source code verification: the SchorrWaite algorithm – Thierry Hubert, Claude Marché - 2005
149 BI as an Assertion Language for Mutable Data Structures – Samin Ishtiaq, Peter W. O'Hearn - 2000
17 Semantic Analysis of Pointer Aliasing, Allocation and Disposal in Hoare Logic – Cristiano Calcagno, Samin Ishtiaq, Peter W. O'Hearn, Queen Mary, Queen Mary - 2000
2 Program fusion with paramorphisms – Facundo Domínguez, Alberto Pardo - 2006
Simplifying Pointer Kleene Algebra – Han-hing Dang, Bernhard Möller
1 Properties of Overwriting for Updates in Typed Kleene Algebras – Thorsten Ehm, Copyright C Thorsten Ehm, Universität Augsburg, Thorsten Ehm, Universität Augsburg
8 Programming with Variable Functions – Martin Odersky - 1998
An Inference Algorithm for the Static Verification of Pointer Manipulation – Daniel Le Métayer, Pascal Fradet, Pascal Fradet, Ronan Gaugne, Ronan Gaugne, Daniel Le M'etayer - 1996
An Inference Algorithm For The Static Verification Of Pointer Manipulation Pascal Fradet, Ronan Gaugne And Daniel Le M Etayer – Institut De Recherche, Pascal Fradet Ronan Gaugne, Daniel Le - 1996
25 Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm – Pascal Fradet, Ronan Gaugne, Daniel Le Métayer - 1996
Process Logic and Duality -- Part I: Sequential Processes – Kohei Honda