Embedded contract languages.

Manuel Fähndrich Michael Barnett Francesco Logozzo

Published in: SAC (2010)

Keyphrases

expressive power
embedded systems
cross lingual
description languages
language independent
supply chain
natural language processing
control software
grammatical inference
target language
databases
digital images
expert systems
natural language
genetic algorithm
machine learning
neural network