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