Two-sided context specifications in formal grammars.

Mikhail Barash Alexander Okhotin

Published in: Theor. Comput. Sci. (2015)

Keyphrases

formal language
formal specification
contextual information
requirements specification
formal model
visual languages
data sets
artificial intelligence
knowledge base
high level
natural language
knowledge retrieval
real time
context aware
formal semantics
specification language