A module language for typing by contracts.

Yann Glouche Jean-Pierre Talpin Paul Le Guernic Thierry Gautier

Published in: NASA Formal Methods (2009)

Keyphrases

programming language
natural language
language learning
databases
highly expressive
real time
english text
specification language
computational linguistics
modeling language
context dependent
search algorithm
multiscale
case study
artificial intelligence
neural network
data sets