Archive for William W. Wadge 1975

Wadge index
Cartesian index
Edward A. Ashcroft, William W. Wadge.
Lucid --- A Formal System for Writing and Proving Programs.
Technical Report CS-RR-004, Department of Computer Science, University of Warwick, Coventry, UK. 1975. Also published as University of Waterloo Computer Science Report CS-75-01, then as SIAM Journal of Computing 5(3):336--354, 1976.
William W. Wadge.
A Complete Natural Deduction System for the Relational Calculus.
Technical Report CS-RR-005, Department of Computer Science, University of Warwick, Coventry, UK. 1975.
Edward A. Ashcroft, William W. Wadge.
Lucid --- A Formal System for Writing and Proving Programs.
Technical Report CS-75-01, Department of Computer Science, University of Waterloo, Waterloo, Canada. February, 1975. Also published as University of Warwick Computer Science Report 004, then as SIAM Journal of Computing 5(3):336--354, 1976.
Edward A. Ashcroft, William W. Wadge.
Lucid --- A Formal System for Writing and Proving Programs.
Technical Report CS-75-02, Department of Computer Science, University of Waterloo, Waterloo, Canada. June, 1975.
Edward A. Ashcroft, William W. Wadge.
Program Proving Without Tears.
Technical Report CS-75-03, Department of Computer Science, University of Waterloo, Waterloo, Canada. January, 1975. Presented to the Symposium on Proving and Improving Programs, G. Huet and G. Kahn (ed.), held in Arc-et-Senans, France, 1--3 July 1975, pp.99--114, IRIA.