Edward A. Ashcroft

According to our database, Edward A. Ashcroft authored at least 23 papers between 1970 and 2000.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2000

Performance Analysis of Mobile Wireless ATM Networks.

Sirisha Medidi, Edward A. Ashcroft

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

1991

Fault Tolerance in Parallel Implementations of Functional Languages.

R. Jagannathan, Edward A. Ashcroft

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

1986

Performance Analysis of Dataflow Signal Processing Algorithms.

Leah H. Jamieson, Edward A. Ashcroft

Proceedings of the International Conference on Parallel Processing, 1986

A dataflow algorithm for digital filtering.

Leah H. Jamieson, Edward A. Ashcroft

Proceedings of the IEEE International Conference on Acoustics, 1986

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

Edward A. Ashcroft

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

1982

R/ for Semantics.

Edward A. Ashcroft, William W. Wadge

ACM Trans. Program. Lang. Syst., 1982

1980

A Mathematical Semantics for a Nondeterministic Typed lambda-Calculus.

Matthew Hennessy, Edward A. Ashcroft

Theor. Comput. Sci., 1980

Some common misconceptions about Lucid.

Edward A. Ashcroft, William W. Wadge

ACM SIGPLAN Notices, 1980

1979

A Generalized Setting for Fixpoint Theory.

Edward A. Ashcroft, Faith E. Fich

Theor. Comput. Sci., 1979

1978

Clauses: Scope Structures and Defined Functions in Lucid.

Edward A. Ashcroft, William W. Wadge

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.

Edward A. Ashcroft, William W. Wadge

SIAM J. Comput., 1977

Lucid, a Nonprocedural Language with Iteration.

Edward A. Ashcroft, William W. Wadge

Commun. ACM, 1977

Parameter-Passing Mechanisms and Nondeterminism

Matthew Hennessy, Edward A. Ashcroft

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

Intermittent Assertion Proofs in Lucid.

Edward A. Ashcroft, William W. Wadge

Proceedings of the Information Processing, 1977

1976

Lucid - A Formal System for Writing and Proving Programs.

Edward A. Ashcroft, William W. Wadge

SIAM J. Comput., 1976

The Semantics of Nondeterminism.

Matthew Hennessy, Edward A. Ashcroft

Proceedings of the Third International Colloquium on Automata, 1976

1975

Translating Program Schemas to While-Schemas.

Edward A. Ashcroft, Zohar Manna

SIAM J. Comput., 1975

Proving Assertions about Parallel Programs.

Edward A. Ashcroft

J. Comput. Syst. Sci., 1975

1974

Towards an APL compiler.

Edward A. Ashcroft

Proceedings of the sixth international conference on APL, 1974

1973

Decidable Properties of Monadic Functional Schemas.

Edward A. Ashcroft, Zohar Manna, Amir Pnueli

J. ACM, 1973

1972

Program correctness methods and language definition.

Edward A. Ashcroft

Proceedings of ACM Conference on Proving Assertions About Programs, 1972

1971

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

Edward A. Ashcroft, Zohar Manna

Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 1, 1971

1970

Mathematical logic applied to the semantics of computer programs.

Edward A. Ashcroft

PhD thesis, 1970