穆罕默德·穆赫姆;沙希德·阿里 视觉occam的形式语义。 （英语） Zbl 0948.68113号 计算。语言。 24，第2期，99-113（1998年）. 概要：提出了可视化编程语言（VPL），以简化编程任务并更好地利用人的能力。Visual Occam（VISO）是一种用于并发编程的可视化编程语言。它使用消息传递进行进程间通信，并且进程是不相交的。VISO语言使用模块化方法进行可视化编程，简化了程序规范。它具有基于occam语言的图形语法。本文的重点是利用过程演算提供VISO的形式语义。给出了VISO中所有编程结构和图标的语义，以及一些完整的示例程序及其在过程演算中的翻译。 理学硕士： 68问题55 计算理论中的语义学 68甲15 编程语言理论 关键词：可视化编程语言 PDF格式BibTeX公司 XML格式引用 \textit{M.Al-Mulhem}和\textit{S.Ali}，计算。语言24，第2号，99-113（1998年；Zbl 0948.68113） 全文： 内政部