SIGACT (Paper Session)

George T. Ligler, William C. Nylin, Patrick Wang, Patrick C. Fischer, Robert L. Probert

Proceedings of the annual conference on - ACM 76（1976）

引用 0|浏览0

暂无评分

摘要

These papers indicate the diversity of the theoretical area of computer science. The first explores programming language concepts in terms of Hoare's formal assignment axiom. The second is well described by its title. The third is a contribution to formal language theory, and the last paper adapts a “divide and conquer” technique to a paging environment.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要