Software - Practice and Experience （SPE） - Issue 103 论文列表
| 点击这里查看 Software - Practice and Experience 的JCR分区、影响因子等信息 |
| 卷期号： Issue 103 |
| 发布时间： |
| 卷期年份： 1984 |
| 卷期官网： |
本期论文列表
Compile-Time Detection of Aliasing in Euclid Programs.
Taming the PL/I Syntax.
Anatomy of an Educational Network Database System.
A General Approach to Queuing in C. S. P.
Steady-State Compilers.
Resource Monitors: A Design Methodology for Operating Systems.
The Use of Ghost Variables and Virtual Programming in the Documentation and Verfication of Programs.