On the Relationship Between Algebraic Module Specifications and Program Modules.

Michael Löwe Hartmut Ehrig Werner Fey Dean Jacobs

Published in: TAPSOFT, Vol.2 (1991)

Keyphrases

control flow
building blocks
recursive programs
databases
real time
information retrieval
high level
modular structure
case study
data model
static analysis
programming environment
specification language
linear algebra
program execution
delay insensitive