Modular aspects of rewrite-based specifications.

Bernhard Gramlich

Published in: WADT (1997)

Keyphrases

database
data sets
databases
image processing
high level
formal specification
neural network
artificial neural networks
computational models
control flow
main aspects
delay insensitive