Edward A. Ashcroft

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