From Programs to Z Specifications.

Kevin Lano Peter T. Breuer

Published in: Z User Workshop (1989)

Keyphrases

control flow
recursive programs
formal specification
intermediate level
logic programs
data flow
databases
control structures
concurrent systems
delay insensitive
computer vision
information systems
high level
open source
functional requirements
fixpoint
social networks
automatic programming
learning algorithm