Towards a demonstrably-correct ada compiler.

Chris Nettleton Wilson Ifill Colin Marsh

Published in: SIGAda (2007)

Keyphrases

general purpose
programming language
data sets
real time
information retrieval
artificial intelligence
clustering algorithm
three dimensional
image sequences