K.K. Lau  @ NUS Home/Search
Context Related
| cs.man.ac.uk/~kungkiu/pub...acta.ps.gz cs.man.ac.uk/pub/kungkiu/acta.ps.gz Cached: PS.gz PS PDF Image Update Help From: cs.man.ac.uk/~kungkiu/pub/ (more) From: cs.man.ac.uk/~kungkiu/pub/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, and the referees for their very helpful comments and constructive suggestions which greatly improved an earlier version of this paper. References (Update)
Context of citations to this paper: More
...automatically built in. Several people have chosen sorting algorithms for such exercises using different notations and methodologies. [12] Darlington[5] has derived a family of six sorting algorithms, namely quick sort , selection sort , merge sort , insertion sort , bubble...
...algorithms than any previous work in algorithm synthesis and classification. This is described from an algorithmic point of view in [10, 11]. In this paper, we describe the synthesis of this family of recursive logic procedures on the system from a logic programming...
Cited by: More
Top-down Synthesis of Recursive Logic Procedures from.. - Department (1990) (Correct)
A Logical Inverted Taxonomy of Sorting Algorithms - Merritt, Lau (1997) (Correct)
Synthesis of a Family of Recursive Sorting Procedures - Lau, Prestwich (1991) (Correct)
Active bibliography (related documents): More All
1.5: Top-down Synthesis of Sorting Algorithms - Lau (1992) (Correct)
0.5: Another Iteration on Darlington's "A Synthesis of Several Sorting .. - Howard (1994) (Correct)
0.1: Logic Program Schemata: Synthesis and Analysis - Flener (1995) (Correct)
Similar documents based on text: More All
0.2: Analysis of Sorting Algorithms by Kolmogorov Complexity - Survey Paul Vit (Correct)
0.0: The Halting Problem for Deductive Synthesis of Logic Programs - Lau, Ornaghi, al. (1994) (Correct)
0.0: A Formal Approach to Deductive Synthesis of Constraint Logic.. - Lau, Ornaghi (1995) (Correct)
Related documents from co-citation: More All
4: Algorithm Classification Through Synthesis (context) - Clark, Darlington - 1980
3: Top-down Synthesis of Recursive Logic Procedures from Firstorder Logic Specifica.. - Lau, Prestwich - 1990
2: Top-down Synthesis of Divide-and-Conquer Algorithms (context) - Smith - 1985
BibTeX entry: (Update)
K.K. Lau, A Note on Synthesis and Classification of Sorting Algorithms, Acta Informatica 27, 73-80 (1989). http://citeseer.comp.nus.edu.sg/12307.html More
@misc{ lau89note,
author = "K. Lau",
title = "A Note on Synthesis and Classification of Sorting Algorithms",
text = "K.K. Lau, A Note on Synthesis and Classification of Sorting Algorithms,
Acta Informatica 27, 73-80 (1989).",
year = "1989",
url = "citeseer.comp.nus.edu.sg/12307.html" }
Citations (may not include all citations):2003 The Art of Computer Programming (context) - Knuth - 1973
652 A Discipline of Programming (context) - Dijkstra - 1976
385 A Transformation System for Developing Recursive Programs - Burstall, Darlington - 1977
97 The Computer Journal (context) - Hoare - 1962
91 Data Structures and Algorithms 1: Sorting and Searching (context) - Mehlhorn - 1984
42 Top-down Synthesis of Divide-and-Conquer Algorithms (context) - Smith - 1985
40 Science of Computer Programming (context) - Smith - 1985
27 A Synthesis of Several Sorting Algorithms (context) - Darlington - 1978
25 A Taxonomy of Parallel Sorting (context) - Bitton, DeWitt et al. - 1984
14 On Program Synthesis Knowledge (context) - Green, Barstow - 1978
13 Program Transformation by Data Structure Mapping (context) - Hansson, Tarnlund - 1982
10 Algorithm Classification Through Synthesis (context) - Clark, Darlington - 1980
6 A Class of Sorting Algorithms Based on Quicksort (context) - Wainwright - 1985
3 Synthesis of Logic Programs for Recursive Sorting Algorithms (context) - Lau, Prestwich - 1988
3 Derivation of Sorting Algorithms from a Specification (context) - Dromey - 1987
3 A Synthesis of Several Sorting Algorithms (context) - Barstow - 1980
2 Synthesis: Dreams (context) - Manna, Waldinger - 1979
Documents on the same site (http://www.cs.man.ac.uk/~kung-kiu/pub/): More
Top-down Synthesis of Sorting Algorithms - Lau (1992) (Correct)
Modules, Reuse and Correctness - Lau, Ornaghi (Correct)
Towards An Object-Oriented Methodology for Deductive Synthesis .. - Lau, Ornaghi (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.