Archive for William W. Wadge 1976

Wadge index
Cartesian index
Edward A. Ashcroft, William W. Wadge.
Lucid---A Formal System for Writing and Proving Programs.
SIAM Journal of Computing 5(3):336--354, 1976.
Edward A. Ashcroft, William W. Wadge.
Lucid, a Nonprocedural Language with Iteration.
Technical Report CS-RR-011, Department of Computer Science, University of Warwick, Coventry, UK. 1976. Later published as Communications of the ACM 20(7):519--526, 1977.
Edward A. Ashcroft, William W. Wadge.
Lucid: Scope Structures and Defined Functions.
Technical Report CS-76-22, Department of Computer Science, University of Waterloo, Waterloo, Canada. November, 1976. Extended version published as University of Warwick Computer Science Report CS-RR-021, October 1977, as University of Waterloo Computer Science Report CS-78-01, and as ACM POPL 1978:17-22.