Building Certified Static Analysers by Modular Construction of Well-founded Lattices.

David Pichardie

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

construction industry
neural network
data sets
machine learning
information systems
three dimensional
similarity measure
automatic construction
construction process
ontology construction
rough approximations