Login / Signup

Parameter Passing in Algebraic Specification Languages.

Hartmut EhrigHans-Jörg KreowskiJames W. ThatcherEric G. WagnerJesse B. Wright
Published in: Program Specification (1981)
Keyphrases
  • specification languages
  • formal specification
  • object oriented programs
  • parameter values
  • input parameters
  • databases
  • cooperative
  • parameter estimation
  • transfer function
  • linear algebra
  • access control