Towards an Interchange Language for ASMs.

Elvinia Riccobene Patrizia Scandurra

Published in: Abstract State Machines (2004)

Keyphrases

programming language
language processing
natural language
english language
computational linguistics
data mining
context dependent
information retrieval
natural language processing
logic programs
first order logic
active shape model
conceptual graphs
specification language
operational semantics