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