ArcAngel: a Tactic Language for Refinement.

Marcel Oliveira Ana Cavalcanti Jim Woodcock

Published in: Formal Aspects Comput. (2003)

Keyphrases

programming language
natural language
language learning
e learning
databases
real world
machine learning
learning algorithm
clustering algorithm
probabilistic model
cross lingual
conceptual graphs
operational semantics
scripting language
declarative language
step wise