SIGACT (Paper Session)
George T. Ligler, William C. Nylin, Patrick Wang, Patrick C. Fischer, Robert L. Probert · 1976
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.