Translating VDM specifications into ABC programs.

Aaron Kans Clive Hayton

Published in: Inf. Softw. Technol. (1994)

Keyphrases

control flow
recursive programs
data sets
high level
program synthesis
delay insensitive
multi agent systems
databases
artificial intelligence
relational databases
formal specification
intermediate level
artificial bee colony algorithm
asynchronous circuits
provably correct