Programming in the Large with Algebraic Module Specifications (Invited Paper).

Hartmut Ehrig Herbert Weber

Published in: IFIP Congress (1986)

Keyphrases

invited paper
programming language
high level
reactive systems
delay insensitive
object oriented programming
programming environment
specification language
lecture notes
formal specification
neural network
data analysis
development environment
computer programming
code generation