计算机语言,第4卷
1979年第4卷第1期
理查德·施瓦茨 , 丹尼尔·贝里 :
ALGOL 68的语义视图。 1-15 名田博彦 :
EQL:一种用于数值计算的语言。 17-27 威廉·里德尔 :
一种软件系统行为描述方法。 29-47 威廉·里德尔 :
软件系统建模与分析方法。 49-66
1979年第4卷第2期
查尔斯·克劳利 :
编程语言和操作系统的并行开发。 71-82 S.M.Chou先生 , 王孙甫 :
过渡网络语法推理。 83-92 纳兰·赫哈尼(Narain H.Gehani) :
高级数据结构-网格。 93-98 约翰·D·斯普拉金斯 :
复杂系统性能建模的近似技术。 99-129
第4卷,第3-4期,1979年
郭忠泰 :
通过语义属性在表达式中进行常量折叠。 131-137 格德·希夫纳 , 彼得·谢尔曼 :
具有扩展实体关系模型的多视图和抽象。 139-154 安东尼·瓦瑟曼 :
类Pascal语言的测试和验证。 155-169 弗兰克·G·帕根 :
使用两级语法的语义规范:块、过程和参数。 171-185 萨姆特 :
深度和浅层绑定:赋值操作。 187-198