Login / Signup

Algorithmic Specifications: A Constructive Specification Method for Abstract Data Types.

Jacques Loeckx
Published in: ACM Trans. Program. Lang. Syst. (1987)
Keyphrases
  • high level
  • preprocessing
  • real world
  • general purpose
  • tree structure