K-ST: A Formal Executable Semantics of PLC Structured Text Language.
Kun WangJingyi WangChristopher M. PoskittXiangxiang ChenJun SunPeng ChengPublished in: CoRR (2022)
Keyphrases
- formal language
- formal specification
- highly expressive
- specification language
- operational semantics
- model theoretic
- process algebra
- controlled natural language
- formal languages
- formal semantics
- logical language
- semantic representations
- language generation
- semantic representation
- formal methods
- intended meaning
- semantic information
- english text
- precisely defined
- logic programming language
- attribute grammars
- text mining
- english language
- information retrieval
- conceptual graphs
- description logics
- visual languages
- definition language
- computational linguistics
- machine processable
- natural language
- semantic structure
- text generation
- text to speech
- text to speech synthesis
- keywords
- deductive databases
- syntactic categories
- control system
- fuzzy control
- native language
- conceptual model
- programming language
- logic programs
- structured data
- first order logic
- model checking
- xml processing
- action theories
- action language
- proof theory
- dynamic logic
- speech acts
- mathematical theory
- word meanings
- formal representation
- machine translation system
- textual data
- xml documents
- knowledge base