FunZ Designs A Bridge between Z Specifications and Haskell Implementations.

Linda B. Sherrell Doris L. Carver

Published in: COMPSAC (1995)

Keyphrases

programming language
high level
functional programming
formal specification
design requirements
delay insensitive
software implementation
database
neural network
information systems
e learning
efficient implementation
design tools
specification language