Bartosz Trybuś

Denotational Model and Implementation of Scalable Virtual Machine in CPDev

2022 · Annals of Computer Science and Information Systems

Denotational semantic model and its implementation in C/C++ are presented for a virtual machine executing programs written in the CPDev development environment according to IEC 61131 standard. Programs written in IEC ST language are compiled …