Login / Signup

Semantics of a hardware specification language and related transformation rules.

Tony Larsson
Published in: Integr. (1987)
Keyphrases
  • specification language
  • transformation rules
  • formal specification
  • programming language
  • description language
  • metamodel
  • recursive programs
  • model driven
  • evolutionary algorithm
  • general purpose
  • multi dimensional