WNetKAT: A Weighted SDN Programming and Verification Language.
Kim G. LarsenStefan SchmidBingtian XuePublished in: OPODIS (2016)
Keyphrases
- programming language
- oriented programming
- object oriented programming
- programming environment
- process algebra
- scripting language
- formal methods
- computer programs
- language learning
- concurrent systems
- computational linguistics
- general purpose
- asynchronous circuits
- functional language
- modeling language
- abstract data types
- face verification
- advanced features
- formal specification
- object oriented
- natural language
- neural network