ProtoML: A rule-based validation language for Google Protocol Buffers.
Miklós KálmánPublished in: ICITST (2013)
Keyphrases
- language learning
- expert systems
- programming language
- language processing
- search engine
- formal analysis
- data driven
- lightweight
- website
- event condition action
- rule engine
- cryptographic protocols
- specification language
- object oriented programming
- rule based systems
- web search
- social media
- data model
- database systems
- web services
- web pages