K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs.
Kun WangJingyi WangChristopher M. PoskittXiangxiang ChenJun SunPeng ChengPublished in: IEEE Trans. Software Eng. (2023)
Keyphrases
- formal language
- highly expressive
- operational semantics
- formal specification
- model theoretic
- specification language
- process algebra
- controlled natural language
- formal semantics
- formal languages
- language generation
- logical language
- formal methods
- semantic representation
- semantic representations
- english text
- computational linguistics
- semantic information
- description logics
- natural language
- text to speech synthesis
- intended meaning
- logic programming language
- semantic structure
- attribute grammars
- english language
- logic programming
- deductive databases
- conceptual graphs
- keywords
- visual languages
- structured data
- model checking
- text documents
- text retrieval
- text to speech
- default reasoning
- precisely defined
- programming language
- native language
- knowledge representation
- dynamic logic
- definition language
- dynamic aspects
- machine processable
- action theories
- logic programs
- language learning
- mathematical theory
- word meanings
- meaning representations
- speech acts
- textual data
- text mining
- information retrieval
- key concepts
- action language
- formal representation
- conceptual model
- situation calculus