Archive for William W. Wadge 1977

Wadge index
Cartesian index
Edward A. Ashcroft, William W. Wadge.
Lucid, a Nonprocedural Language with Iteration.
Communications of the ACM 20(7):519--526, 1977.
Adi Shamir, William W. Wadge.
Data Types as Objects.
In Arto Salomaa, Magnus Steinby (ed.), Automata, Languages and Programming. Lecture Notes in Computer Science. Vol. 52. pp.465--479. 1977.
Edward A. Ashcroft, William W. Wadge.
Intermittent Assertion Proofs in Lucid.
In B. Gilchrist (ed.), Information Processing. pp.723--726. 1977. North-Holland.
Adi Shamir, William W. Wadge.
Data Types as Objects.
Technical Report CS-RR-020, Department of Computer Science, University of Warwick, Coventry, UK. June, 1977. Published in ICALP 1977, LNCS 52:465--479.
Edward A. Ashcroft, William W. Wadge.
Lucid: Scope Structures and Defined Functions.
Technical Report CS-RR-021, Department of Computer Science, University of Warwick, Coventry, UK. October, 1977. Also published as University of Waterloo Computer Science Report CS-78-01 and as ACM POPL 1978:17--22.