From Co-algebraic Specifications to Implementation: The Mihda Toolkit.

Gian Luigi Ferrari Ugo Montanari Roberto Raggi Emilio Tuosto

Published in: FMCO (2002)

Keyphrases

implementation issues
specification language
high level
efficient implementation
real time
data sets
artificial intelligence
image processing
multimedia
information technology
general purpose
parallel implementation
code generation