K-RAPID: A Formal Executable Semantics of the RAPID Robot Programming Language.
Zichen WangJingyi WangFu SongKun WangHongyi PuPeng ChengPublished in: CPSS@AsiaCCS (2024)
Keyphrases
- programming language
- denotational semantics
- specification language
- logic programming
- object oriented
- formal specification
- high level
- domain specific languages
- database languages
- general purpose
- object oriented programming
- programming language constructs
- programming environment
- mobile robot
- data abstraction
- strongly typed
- software engineering
- operational semantics
- fluent calculus
- semantic data models
- computer programs
- operating system
- functional language
- machine learning
- database