Author: Ben Wegbreit
Publication Overview
Publication period start: 1976
Number of co-authors: 2
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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.