Pedro R. Borges, Jesús Ravelo  @ NUS Home/Search
Context
Related
| users.comlab.ox.ac.uk/jesu...sort.ps.gz Cached: PS.gz PS PDF Image Update Help From: users.comlab.ox.ac.uk/jesu...publ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Starting from a general specification of the sorting of a sequence, and through successive transformations using the Bird-Meertens formalism, we obtain an efficient algorithm that uses the insertion technique. Further transformations are done in order to obtain a version which works with only one sequence and an index into it, and therefore can be translated straightforwardly to an imperative version with an array: the Insertion Sort. We conclude that the formalism used provides an adequate... (Update)
Active bibliography (related documents): More All
0.0: Program Calculation Properties of Continuous Algebras - Fokkinga, Meijer (1991) (Correct)
0.0: Generic Programming With Relations and Functors - Bird, de Moor, Hoogendijk (1999) (Correct)
0.0: Fission for Program Comprehension - Jeremy Gibbons Oxford (Correct)
Similar documents based on text: More All
1.0: Implementaci'on en Haskell de un algoritmo general para.. - Sylvia Da (Correct)
0.8: Cálculo de la Estructura de un Texto en un Sistema . . . - Saggion, al. (1995) (Correct)
0.8: Análisis sintáctico bidireccional de TAGs - Diaz, Alonso (2000) (Correct)
BibTeX entry: (Update)
@misc{ borges-formal,
author = "Pedro R. Borges and Jesús Ravelo",
title = "Formal Construction of a Sorting Algorithm",
url = "citeseer.comp.nus.edu.sg/248812.html" }
Citations (may not include all citations):172 An introduction to the theory of lists (context) - Bird - 1986
138 Lectures on constructive functional programming (context) - Bird - 1988
81 The promotion and accumulation strategies in transformationa.. (context) - Bird - 1984
29 A calculus of functions for program derivation (context) - Bird - 1987
27 A synthesis of several sorting algorithms (context) - Darlington - 1978
24 Virtual data structures - Swierstra, de Moor - 1992
1 State-of-the-art Seminar on Formal Program Development (context) - Meertens, for et al. - 1992
1 Estructura de los operadores de clasificaci (context) - Zoltan - 1990
Documents on the same site (http://users.comlab.ox.ac.uk/jesus.ravelo/publ.html):
Calculating with Relations for Graph Algorithmics - Ravelo (1997) (Correct)
A Class of Graph Algorithms - Ravelo (1996) (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.