Michael Butler  @ NUS Home/Search
Context Related
| ecs.soton.ac.uk/~mjb/publ...pointers.ps Cached: PS.gz PS PDF Image Update Help From: ecs.soton.ac.uk/~mjb/publicati... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe an approach to the derivation of correct algorithms on treebased pointer structures. The approach is based on enriching trees in a way that allows us to model commonly-used pointer manipulations on tree structures. (Update)
Context of citations to this paper: More
.... few years there has been a resurgence of interest, driven by new ideas in relational algebras (M oller,1997) in data re nement (Butler,1999), in type theory (Hofmann,2000; Walker and Morrisett,2000) in novel kinds of assertion (Reynolds,2000) and by the demands of...
Cited by: More
Performing Algorithmic Refinement before Data Refinement in B - Butler, Meagher (2000) (Correct)
Case Studies For The Derivation Of Pointer Algorithms - Ehm (2003) (Correct)
Functional Pearls - Unfolding pointer algorithms - Bird (2001) (Correct)
Active bibliography (related documents): More All
0.5: Programming with Variable Functions - Odersky (1998) (Correct)
0.5: Verification of Pointers - Klarlund, Schwartzbach (Correct)
0.3: Fusion and Simultaneous Execution in the Refinement Calculus - Back, Butler (1997) (Correct)
Similar documents based on text: More All
0.1: Are Anamorphisms Reasonable Abstractions? - Moeller (1998) (Correct)
0.1: On the Use of Data Refinement in the Development of Secure.. - Butler (Correct)
0.1: csp2B: A Practical Approach To Combining CSP and B - Michael Butler Department (1999) (Correct)
Related documents from co-citation: More All
2: Introduction to Functional Programming using Haskell 2nd ed (context) - Bird - 1998
2: Proving pointer programs in Hoare Logic - Bornat - 2000
BibTeX entry: (Update)
Butler, M. (1999) Calculational derivation of pointer algorithms from tree operations. Science of Computer Programming, 33(3), pp: 221-260. http://citeseer.comp.nus.edu.sg/683174.html More
@misc{ butler99calculational,
author = "M. Butler",
title = "Calculational derivation of pointer algorithms from tree operations",
text = "Butler, M. (1999) Calculational derivation of pointer algorithms from tree
operations. Science of Computer Programming, 33(3), pp: 221-260.",
year = "1999",
url = "citeseer.comp.nus.edu.sg/683174.html" }
Citations (may not include all citations):788 Rewrite systems - Dershowitz, Jouannaud - 1990
652 A Discipline of Programming (context) - Dijkstra - 1976
293 Programming from Specifications (context) - Morgan - 1994
254 Book: Assigning Programs to Meanings (context) - Abrial - 1996
135 A theoretical basis for stepwise refinement and the programm.. (context) - Morris - 1987
99 Correctness Preserving Program Refinements: Proof Theory and.. (context) - Back - 1980
50 Normal form approach to compiler design (context) - Hoare, Jifeng et al. - 1993
40 Laws of data refinement (context) - Morris - 1989
12 Calculating with pointer structures (context) - Moller - 1997
10 Science of Computer Programming (context) - Moller, algebra - 1993
9 Verification of programs that destructively manipulate data (context) - Mason - 1988
8 The refinement calculator: proof support for program refinem.. - Butler, Grundy et al. - 1997
6 The lattice of data refinement - von Wright - 1994
5 Formal Approaches to Computing and Information Technology (context) - Morgan, Vickers et al. - 1994
5 ACM Transactions on Programming Languages and Systems (context) - Luckham, Suzuki et al. - 1979
4 Science of Computer Programming (context) - Bijlsma, pointers - 1989
2 Paths: An abstract alternative to pointers (context) - Cartwright, Hood et al. - 1981
1 Calculational derivation of algorithms on tree-based pointer.. (context) - Butler - 1996
Documents on the same site (http://www.ecs.soton.ac.uk/~mjb/publications/): More
An Approach to Modelling and Refining Timing Properties in B - Butler, Falampin (2001) (Correct)
A System-based Approach to the Formal Development of Embedded.. - Butler (2002) (Correct)
Reasoning about Grover's Quantum Search Algorithm using.. - Butler, Hartel (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.