Login / Signup

Procedural Implementation of Algebraic Specification.

Huimin Lin
Published in: ACM Trans. Program. Lang. Syst. (1993)
Keyphrases
  • efficient implementation
  • high level
  • similarity measure
  • object oriented
  • implementation issues
  • higher order