DPCL: a Language Template for Normative Specifications.
Giovanni SilenoL. Thomas van BinsbergenMatteo PascucciTom M. van EngersPublished in: CoRR (2022)
Keyphrases
- specification language
- language learning
- template matching
- formal language
- operational semantics
- programming language
- information systems
- high level
- data model
- formal descriptions
- information retrieval
- formal specification
- natural language
- artificial intelligence
- learning algorithm
- description language
- search engine
- formal languages
- delay insensitive