Derivation of Sorting Algorithms from a Specification.

R. Geoff Dromey

Published in: Comput. J. (1987)

Keyphrases

sorting algorithms
data structures and algorithms
high level
databases
formal specification
real world
machine learning
user defined
specification language
information retrieval
object oriented
conceptual model
formal verification
code generation