Units-of-Measure Correctness in Fortran Programs.

Mistral Contrastin Andrew C. Rice Matthew Danish Dominic A. Orchard

Published in: Comput. Sci. Eng. (2016)

Keyphrases

similarity measure
provably correct
machine learning
probabilistic model
computer programs
genetic algorithm
website
information technology
relational databases
distance measure
information theory
scientific computing