article · 2006

Deriving Sorting Algorithms

Sousa Pinto, Deriving Sorting, Algorithms José, Bacelar Almeida, Jorge Sousa Pinto, José Bacelar Almeida, Jorge Sousa Pinto

Cited by 0Abstract and details only

Abstract

This paper shows how 3 well-known sorting algorithms can be derived by similar sequences of transformation steps from a common specification. Each derivation uses an auxiliary algorithm based on insertion into an intermediate structure. The proofs given involve both inductive and coinductive reasoning, which are here expressed in the same program calculation framework, based on unicity properties.

Cite this paper

APA 7

Pinto, S., Sorting, D., José, A., Almeida, B., Pinto, J. S., Almeida, J. B., & Pinto, J. S. (2006). Deriving Sorting Algorithms.

MLA 9

Pinto, Sousa, et al. “Deriving Sorting Algorithms.” 2006.

Chicago

Pinto, Sousa, Deriving Sorting, Algorithms José, Bacelar Almeida, Jorge Sousa Pinto, José Bacelar Almeida, and Jorge Sousa Pinto. 2006. “Deriving Sorting Algorithms.”

Harvard

Pinto, S. et al. (2006) ‘Deriving Sorting Algorithms’.

BibTeX

@article{pinto2006deriving,
  title = {{Deriving Sorting Algorithms}},
  author = {Pinto, Sousa and Sorting, Deriving and José, Algorithms and Almeida, Bacelar and Pinto, Jorge Sousa and Almeida, José Bacelar and Pinto, Jorge Sousa},
  year = {2006}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.