Edward A. Ashcroft

According to our database1, Edward A. Ashcroft authored at least 18 papers between 1971 and 2000.

Collaborative distances:

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


  Loading...