Automatic Translation of VDM Specifications into Standard ML Programs (Short Note).

Published in: Comput. J. (1992)

Keyphrases

control flow
maximum likelihood
recursive programs
automatic programming
genetic algorithm
artificial intelligence
website
database systems
programming environment
computer programs
operating system
relational databases
data sets
high level
feature selection
search engine
machine learning
databases