A tactic language for refinement of state-rich concurrent specifications.

Marcel Oliveira Frank Zeyda Ana Cavalcanti

Published in: Sci. Comput. Program. (2011)

Keyphrases

state space
programming language
specification language
high level
language learning
neural network
natural language
logic programming
formal language
real world
knowledge representation
language processing
operational semantics