Refinement Types for Program Analysis.

Mario Coppo Ferruccio Damiani Paola Giannini

Published in: SAS (1996)

Keyphrases

neural network
computational complexity
information retrieval
cooperative
computer science
preprocessing
user interface
evolutionary algorithm