William F. Dowling

Publication Activity (10 Years)

Years Active: 1984-1990
Publications (10 Years): 0

Publications

William F. Dowling, Robert Kline
The Fixed Points of Logic Programs with Herbrand Base N. Theor. Comput. Sci. 77 (3) (1990)
Kevin Atteson, Michael Lorenz, William F. Dowling
NARPL: A solution to the student compiler project problem. ACM SIGPLAN Notices 24 (3) (1989)
William F. Dowling
Attribute grammar interpretation as a model of computation (abstract). ACM Conference on Computer Science (1986)
William F. Dowling, Jean H. Gallier
Continuation Semantics for Flowgraph Equations. Theor. Comput. Sci. 44 (1986)
William F. Dowling, Jean H. Gallier
Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae. J. Log. Program. 1 (3) (1984)