Author: Ben Wegbreit
Publications
Co-authors
Productive Colleagues
Publications
Jr., James H. Morris, Wegbreit, Ben (1977): Subgoal Induction. In Communications of the ACM, 20 (4) pp. 209-222.
Wegbreit, Ben (1976): Faster Retrieval from Context Trees. In Communications of the ACM, 19 (9) pp. 526-529.
Wegbreit, Ben (1975): Mechanical Program Analysis. In Communications of the ACM, 18 (9) pp. 528-539.
Wegbreit, Ben (1974): The Synthesis of Loop Predicates. In Communications of the ACM, 17 (2) pp. 102-112.
Wegbreit, Ben (1974): The Treatment of Data Types in EL1. In Communications of the ACM, 17 (5) pp. 251-264.
Bobrow, Daniel G., Wegbreit, Ben (1973): A Model and Stack Implementation of Multiple Environments. In Communications of the ACM, 16 (10) pp. 591-603.