Login / Signup

Relation-Sorted Algebraic Specifications with Built-in Coercers: Parameterization and Parameter Passing.

Zhenyu Qian
Published in: Categorial Methods in Computer Science (1988)
Keyphrases
  • higher order
  • database
  • real time
  • neural network
  • high level
  • formal specification
  • input parameters
  • delay insensitive
  • website
  • medical images
  • parameter values
  • descending order
  • written in natural language