Edward A. Ashcroft

Publication Activity (10 Years)

Years Active: 1971-2000
Publications (10 Years): 0

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Sirisha Medidi, Edward A. Ashcroft
Performance Analysis of Mobile Wireless ATM Networks. PDPTA (2000)
R. Jagannathan, Edward A. Ashcroft
Fault Tolerance in Parallel Implementations of Functional Languages. FTCS (1991)
Leah H. Jamieson, Edward A. Ashcroft
A dataflow algorithm for digital filtering. ICASSP (1986)
Leah H. Jamieson, Edward A. Ashcroft
Performance Analysis of Dataflow Signal Processing Algorithms. ICPP (1986)
Edward A. Ashcroft, William W. Wadge
R/ for Semantics. ACM Trans. Program. Lang. Syst. 4 (2) (1982)
Matthew Hennessy, Edward A. Ashcroft
A Mathematical Semantics for a Nondeterministic Typed lambda-Calculus. Theor. Comput. Sci. 11 (1980)
Edward A. Ashcroft, William W. Wadge
Some common misconceptions about Lucid. ACM SIGPLAN Notices 15 (10) (1980)
Edward A. Ashcroft, Faith E. Fich
A Generalized Setting for Fixpoint Theory. Theor. Comput. Sci. 9 (1979)
Edward A. Ashcroft, William W. Wadge
Clauses: Scope Structures and Defined Functions in Lucid. POPL (1978)
Edward A. Ashcroft, William W. Wadge
Lucid, a Nonprocedural Language with Iteration. Commun. ACM 20 (7) (1977)
Edward A. Ashcroft, William W. Wadge
Erratum: Lucid - A Formal System for Writing and Proving Programs. SIAM J. Comput. 6 (1) (1977)
Edward A. Ashcroft, William W. Wadge
Intermittent Assertion Proofs in Lucid. IFIP Congress (1977)
Matthew Hennessy, Edward A. Ashcroft
Parameter-Passing Mechanisms and Nondeterminism STOC (1977)
Matthew Hennessy, Edward A. Ashcroft
The Semantics of Nondeterminism. ICALP (1976)
Edward A. Ashcroft, William W. Wadge
Lucid - A Formal System for Writing and Proving Programs. SIAM J. Comput. 5 (3) (1976)
Edward A. Ashcroft
Proving Assertions about Parallel Programs. J. Comput. Syst. Sci. 10 (1) (1975)
Edward A. Ashcroft, Zohar Manna
Translating Program Schemas to While-Schemas. SIAM J. Comput. 4 (2) (1975)
Edward A. Ashcroft
Towards an APL compiler. APL (1974)
Edward A. Ashcroft, Zohar Manna, Amir Pnueli
Decidable Properties of Monadic Functional Schemas. J. ACM 20 (3) (1973)
Edward A. Ashcroft
Program correctness methods and language definition. Proving Assertions About Programs (1972)
Edward A. Ashcroft, Zohar Manna
The Translation of 'Go To' Programs to 'While' Programs. IFIP Congress (1) (1971)

Edward A. Ashcroft.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Edward A. Ashcroft