0004-5411

Journal of the ACM (JOLACM) - Issue 103 论文列表

点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息
卷期号: Issue 103
发布时间:
卷期年份: 1980
卷期官网:
本期论文列表
On the Generation of Binary Trees.

A Polynomial Algorithm for the Two-Variable Integer Programming Problem.

Consistency in Hierarchical Database Systems.

A Scheme for the Automatic Inference of Variable Types.

Continuation-Based Program Transformation Strategies.

Stack Machines and Classes of Nonnested Macro Languages.

An optimal routing algorithm for mesh-connected Parallel computers.

Space-Time Trade-Offs in Structured Programming: An Improved Combinatorial Embedding Theorem.

Efficient Computation of Expressions with Common Subexpressions.

Synchronization Problems Solvable by Generalized PV Systems.

External Hashing Schemes for Collections of Data Structures.

Message Waiting Time in a Packet Switching System.

The Number of Fanout-Free Functions with Various Gates.

Verification Decidability of Presburger Array Programs.

Polling in a Loop System.

A Note on Enumerating Binary Trees.