{"title":"Compiler Module of Abstract Machine Code for Formal Semantics Course","authors":"William Steingartner","doi":"10.1109/SAMI50585.2021.9378696","DOIUrl":null,"url":null,"abstract":"In this paper, we present a software module developed for the course Semantics of Programming Languages. This software will be part of the intended comprehensive software package to simplify and make the teaching of formal principles in theoretical computer science more attractive. During the pandemic, the need to support illustrative and illustrative online teaching increased. Our software is designed to illustrate and visualize the translation of a higher-level language into code for the Abstract Machine, the definition of which is based on the structural operational semantics of programs.","PeriodicalId":402414,"journal":{"name":"2021 IEEE 19th World Symposium on Applied Machine Intelligence and Informatics (SAMI)","volume":"200 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-01-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2021 IEEE 19th World Symposium on Applied Machine Intelligence and Informatics (SAMI)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SAMI50585.2021.9378696","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
In this paper, we present a software module developed for the course Semantics of Programming Languages. This software will be part of the intended comprehensive software package to simplify and make the teaching of formal principles in theoretical computer science more attractive. During the pandemic, the need to support illustrative and illustrative online teaching increased. Our software is designed to illustrate and visualize the translation of a higher-level language into code for the Abstract Machine, the definition of which is based on the structural operational semantics of programs.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
