From High-Level Language to Abstract Machine Code: An Interactive Compiler and Emulation Tool for Teaching Structural Operational Semantics.
William SteingartnerIgor SivýPublished in: ADBIS (Short Papers) (2023)
Keyphrases
- operational semantics
- high level language
- abstract machine
- data model
- formal semantics
- denotational semantics
- code generation
- mental states
- e learning
- problem based learning
- java virtual machine
- higher education
- programming language
- online learning
- model theoretic
- source code
- learning process
- learning environment
- distance education
- database systems