{"title":"简单命令式语言结构操作语义可视化的另一种工具","authors":"J. Perháč, Z. Bilanová","doi":"10.1109/ICETA51985.2020.9379205","DOIUrl":null,"url":null,"abstract":"Teaching formal methods, especially semantics of programming languages is an important aspect of theoretical informatics. The learning process often includes a lot of mathematics and learning different notations, which appears to be very difficult for students. In this paper, we present a new interactive tool for visualization of the structural operational semantics of a simple imperative program. We demonstrate our approach on the example of a simple program, where we visualize the inference process of small steps semantic method.","PeriodicalId":149716,"journal":{"name":"2020 18th International Conference on Emerging eLearning Technologies and Applications (ICETA)","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2020-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Another Tool for Structural Operational Semantics Visualization of Simple Imperative Language\",\"authors\":\"J. Perháč, Z. Bilanová\",\"doi\":\"10.1109/ICETA51985.2020.9379205\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Teaching formal methods, especially semantics of programming languages is an important aspect of theoretical informatics. The learning process often includes a lot of mathematics and learning different notations, which appears to be very difficult for students. In this paper, we present a new interactive tool for visualization of the structural operational semantics of a simple imperative program. We demonstrate our approach on the example of a simple program, where we visualize the inference process of small steps semantic method.\",\"PeriodicalId\":149716,\"journal\":{\"name\":\"2020 18th International Conference on Emerging eLearning Technologies and Applications (ICETA)\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2020-11-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2020 18th International Conference on Emerging eLearning Technologies and Applications (ICETA)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICETA51985.2020.9379205\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2020 18th International Conference on Emerging eLearning Technologies and Applications (ICETA)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICETA51985.2020.9379205","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Another Tool for Structural Operational Semantics Visualization of Simple Imperative Language
Teaching formal methods, especially semantics of programming languages is an important aspect of theoretical informatics. The learning process often includes a lot of mathematics and learning different notations, which appears to be very difficult for students. In this paper, we present a new interactive tool for visualization of the structural operational semantics of a simple imperative program. We demonstrate our approach on the example of a simple program, where we visualize the inference process of small steps semantic method.