并发程序及其执行的完整可视化

Proceedings of the 1990 IEEE Workshop on Visual Languages Pub Date : 1990-10-04 DOI:10.1109/WVL.1990.128375

K. Kahn, V. Saraswat

{"title":"并发程序及其执行的完整可视化","authors":"K. Kahn, V. Saraswat","doi":"10.1109/WVL.1990.128375","DOIUrl":null,"url":null,"abstract":"The theory and methods for a completely visual formalism for programs and their executions are presented. The appearance, and not the construction, completely describes programs, data, and states of execution. Programs, their model of execution, and their execution traces are visualized in the same pictorial terms. A list of advantages of this visual formalism is given. A case study using the Janus language is presented.<<ETX>>","PeriodicalId":256667,"journal":{"name":"Proceedings of the 1990 IEEE Workshop on Visual Languages","volume":"17 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"136","resultStr":"{\"title\":\"Complete visualizations of concurrent programs and their executions\",\"authors\":\"K. Kahn, V. Saraswat\",\"doi\":\"10.1109/WVL.1990.128375\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The theory and methods for a completely visual formalism for programs and their executions are presented. The appearance, and not the construction, completely describes programs, data, and states of execution. Programs, their model of execution, and their execution traces are visualized in the same pictorial terms. A list of advantages of this visual formalism is given. A case study using the Janus language is presented.<<ETX>>\",\"PeriodicalId\":256667,\"journal\":{\"name\":\"Proceedings of the 1990 IEEE Workshop on Visual Languages\",\"volume\":\"17 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1990-10-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"136\",\"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.128375\",\"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.128375","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 136

摘要

提出了程序及其执行的完全可视化形式的理论和方法。外观，而不是结构，完整地描述了程序、数据和执行状态。程序、它们的执行模型和它们的执行轨迹都以相同的图形术语可视化。文中列举了这种视觉形式主义的优点。给出了一个使用Janus语言的案例研究

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Complete visualizations of concurrent programs and their executions

The theory and methods for a completely visual formalism for programs and their executions are presented. The appearance, and not the construction, completely describes programs, data, and states of execution. Programs, their model of execution, and their execution traces are visualized in the same pictorial terms. A list of advantages of this visual formalism is given. A case study using the Janus language is presented.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the 1990 IEEE Workshop on Visual Languages

自引率

0.00%

发文量