Travelled to:1 × United Kingdom
2 × USA
Collaborated with:M.Hennessy W.W.Wadge
Talks about:nondetermin (2) structur (1) function (1) paramet (1) semant (1) mechan (1) scope (1) lucid (1) defin (1) claus (1)
Person: Edward A. Ashcroft
DBLP: Ashcroft:Edward_A=
Contributed to:
1978
1977
1976Wrote 3 papers:
- POPL-1978-AshcroftW #named
- Clauses: Scope Structures and Defined Functions in Lucid (EAA, WWW), pp. 17–22.
- STOC-1977-HennessyA #nondeterminism
- Parameter-Passing Mechanisms and Nondeterminism (MH, EAA), pp. 306–311.
- ICALP-1976-HennessyA #nondeterminism #semantics
- The Semantics of Nondeterminism (MH, EAA), pp. 478–493.