{"title":"一种基于函数的视觉语言","authors":"C. Holt","doi":"10.1109/WVL.1990.128410","DOIUrl":null,"url":null,"abstract":"The foundations for a visual language called viz are outlined. Some conventions are introduced that are intended to allow a straightforward representation of a functional semantics, while being general enough to be extendible to more general semantic models. The concept of environment is considered, and operations on that environment are interpreted as propositions. State transformers are introduced, permitting the definition of assignments and interprocess communication.<<ETX>>","PeriodicalId":256667,"journal":{"name":"Proceedings of the 1990 IEEE Workshop on Visual Languages","volume":"4 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"17","resultStr":"{\"title\":\"viz: a visual language based on functions\",\"authors\":\"C. Holt\",\"doi\":\"10.1109/WVL.1990.128410\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The foundations for a visual language called viz are outlined. Some conventions are introduced that are intended to allow a straightforward representation of a functional semantics, while being general enough to be extendible to more general semantic models. The concept of environment is considered, and operations on that environment are interpreted as propositions. State transformers are introduced, permitting the definition of assignments and interprocess communication.<<ETX>>\",\"PeriodicalId\":256667,\"journal\":{\"name\":\"Proceedings of the 1990 IEEE Workshop on Visual Languages\",\"volume\":\"4 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1990-10-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"17\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 1990 IEEE Workshop on Visual Languages\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WVL.1990.128410\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 1990 IEEE Workshop on Visual Languages","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WVL.1990.128410","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The foundations for a visual language called viz are outlined. Some conventions are introduced that are intended to allow a straightforward representation of a functional semantics, while being general enough to be extendible to more general semantic models. The concept of environment is considered, and operations on that environment are interpreted as propositions. State transformers are introduced, permitting the definition of assignments and interprocess communication.<>
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
