{"title":"视觉occam的形式语义","authors":"Muhammed Al-Mulhem , Shahid Ali","doi":"10.1016/S0096-0551(98)00005-8","DOIUrl":null,"url":null,"abstract":"<div><p>Visual programming languages (VPLs) have been proposed to simplify the task of programming and to make better use of human capabilities. Visual Occam (VISO) is a visual programming language for concurrent programming. It uses message passing for interprocess communication and processes are disjoint. The VISO language uses a modular approach to visual programming which simplifies the specification of programs. It has a graphical syntax based the language occam. The main emphasis in this paper is to provide formal semantics of VISO using process calculus. The semantics of all programming constructs and icons in VISO are given as well as a number of complete example programs and their translation in process calculus.</p></div>","PeriodicalId":100315,"journal":{"name":"Computer Languages","volume":"24 2","pages":"Pages 99-113"},"PeriodicalIF":0.0000,"publicationDate":"1998-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0096-0551(98)00005-8","citationCount":"3","resultStr":"{\"title\":\"Formal semantics of visual occam\",\"authors\":\"Muhammed Al-Mulhem , Shahid Ali\",\"doi\":\"10.1016/S0096-0551(98)00005-8\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>Visual programming languages (VPLs) have been proposed to simplify the task of programming and to make better use of human capabilities. Visual Occam (VISO) is a visual programming language for concurrent programming. It uses message passing for interprocess communication and processes are disjoint. The VISO language uses a modular approach to visual programming which simplifies the specification of programs. It has a graphical syntax based the language occam. The main emphasis in this paper is to provide formal semantics of VISO using process calculus. The semantics of all programming constructs and icons in VISO are given as well as a number of complete example programs and their translation in process calculus.</p></div>\",\"PeriodicalId\":100315,\"journal\":{\"name\":\"Computer Languages\",\"volume\":\"24 2\",\"pages\":\"Pages 99-113\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1998-07-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1016/S0096-0551(98)00005-8\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Computer Languages\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0096055198000058\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Computer Languages","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0096055198000058","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Visual programming languages (VPLs) have been proposed to simplify the task of programming and to make better use of human capabilities. Visual Occam (VISO) is a visual programming language for concurrent programming. It uses message passing for interprocess communication and processes are disjoint. The VISO language uses a modular approach to visual programming which simplifies the specification of programs. It has a graphical syntax based the language occam. The main emphasis in this paper is to provide formal semantics of VISO using process calculus. The semantics of all programming constructs and icons in VISO are given as well as a number of complete example programs and their translation in process calculus.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
