An Embedded Language Approach to Router Specification in Curry.
J. Guadalupe RamosJosep SilvaGermán VidalPublished in: SOFSEM (2004)
Keyphrases
- specification language
- operational semantics
- formal language
- formal languages
- programming language
- language learning
- embedded systems
- action language
- high level
- definition language
- language processing
- formal specification
- modelling language
- description language
- user defined
- natural language
- data sets
- highly modular
- constraint language
- language constructs
- conceptual models
- end to end
- machine learning