William F. Dowling

According to our database, William F. Dowling authored at least 5 papers between 1984 and 1990.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1990

The Fixed Points of Logic Programs with Herbrand Base N.

William F. Dowling, Robert Kline

Theor. Comput. Sci., 1990

1989

NARPL: A solution to the student compiler project problem.

Kevin Atteson, Michael Lorenz, William F. Dowling

ACM SIGPLAN Notices, 1989

1986

Continuation Semantics for Flowgraph Equations.

William F. Dowling, Jean H. Gallier

Theor. Comput. Sci., 1986

Attribute grammar interpretation as a model of computation (abstract).

William F. Dowling

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1984

Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae.

William F. Dowling, Jean H. Gallier

J. Log. Program., 1984