# Edward A. Ashcroft

According to our database

^{1}, Edward A. Ashcroft## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2000

Performance Analysis of Mobile Wireless ATM Networks.

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

1991

Fault Tolerance in Parallel Implementations of Functional Languages.

Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991

1986

Performance Analysis of Dataflow Signal Processing Algorithms.

Proceedings of the International Conference on Parallel Processing, 1986

Dataflow and Education: Data-driven and Demand-driven Distributed Computation.

Proceedings of the Current Trends in Concurrency, Overviews and Tutorials, 1986

1982

R/ for Semantics.

ACM Trans. Program. Lang. Syst., 1982

1980

A Mathematical Semantics for a Nondeterministic Typed lambda-Calculus.

Theor. Comput. Sci., 1980

1979

A Generalized Setting for Fixpoint Theory.

Theor. Comput. Sci., 1979

1978

Clauses: Scope Structures and Defined Functions in Lucid.

Proceedings of the Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, 1978

1977

Erratum: Lucid - A Formal System for Writing and Proving Programs.

SIAM J. Comput., 1977

Lucid, a Nonprocedural Language with Iteration.

Commun. ACM, 1977

Parameter-Passing Mechanisms and Nondeterminism

Proceedings of the 9th Annual ACM Symposium on Theory of Computing, 1977

Intermittent Assertion Proofs in Lucid.

IFIP Congress, 1977

1976

Lucid - A Formal System for Writing and Proving Programs.

SIAM J. Comput., 1976

The Semantics of Nondeterminism.

ICALP, 1976

1975

Translating Program Schemas to While-Schemas.

SIAM J. Comput., 1975

Proving Assertions about Parallel Programs.

J. Comput. Syst. Sci., 1975

1973

Decidable Properties of Monadic Functional Schemas.

J. ACM, 1973

1971

The Translation of 'Go To' Programs to 'While' Programs.

IFIP Congress (1), 1971